Logic and Applications 2024 (LAP 2024)
- Datum od: 2024-09-23
- Datum do: 2024-09-27
- Grad/Mesto: Dubrovnik, Croatia
- Lokacija: https://maps.app.goo.gl/Wuu3uppqVfHCBGjX7
- Institucija: Matematički institut SANU, Univrerzitet u Zagrebu
- Link: https://lap.math.hr/LAP2024/
2The LAP conference brings together researchers from various fields of logic with applications in computer science. Topics of interest include, but are not restricted to: Formal systems of classical and non-classical logic; Category theory; Proof theory; Model theory;Set theory; Type theory; Lambda calculus; Process algebras and calculi; Behavioural types; Systems of reasoning in the presence of иncomplete, imprecise and/or contradictory information; Computational complexity; Interactive theorem provers; Security.
- Hits: 228