Conference · International Conference on Logic and Applications
LAP 2026
Official page- Type
- Conference
- Organisation
- International Conference on Logic and Applications
- Location
- Dubrovnik, Croatia
- Takes place
- 23 September 2026 to 27 September 2026
- Found
- 26 September 2026
About this listing
International Conference on Logic and Applications. Held in Dubrovnik, Croatia. Topics: logic, type systems, theorem proving, concurrency. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 26 September 2026. Found via PLFM (pl-fm.github.io).