13th Conference

Logic and Applications 2024 (LAP 2024)

September 23-27, 2024, Dubrovnik, Croatia

The 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 incomplete, imprecise and/or contradictory information;
- Computational complexity;
- Interactive theorem provers;
- Security.

Student sessions will be organized.

The first conference Proof Systems - Sustavi dokazivanja was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012.
LAP 2013 was held in Dubrovnik, September 16 - 20, 2013.
LAP 2014 was held in Dubrovnik, September 22 - 26, 2014.
LAP 2015 was held in Dubrovnik, September 21 - 25, 2015.
LAP 2016 was held in Dubrovnik, September 19 - 23, 2016.
LAP 2017 was held in Dubrovnik, September 18 - 22, 2017.
LAP 2018 was held in Dubrovnik, September 24 - 28, 2018.
LAP 2019 was held in Dubrovnik, September 23 - 27, 2019.
LAP 2020 was held as a hybrid meeting, online and in Dubrovnik, September 21 - 25, 2020.
LAP 2021 was held as a hybrid meeting, online and in Dubrovnik, September 20 - 24, 2021.
LAP 2022 was held as a hybrid meeting, online and in Dubrovnik, September 26 - 30, 2022.
LAP 2023 was held in Dubrovnik, September 25 - 29, 2023.




Important Dates

Abstract Submission: June 15 June 30, 2024
Author Notification: July 1 July 10, 2024
Final version: July 8 July 16, 2024

Registration

Registration fee: 55 EUR.

The registration fee is payable at IUC in cash upon arrival.

Submission

Authors should submit an abstract in LaTeX format, not exceeding three pages, to vlp@mi.sanu.ac.rs with the subject "LAP 2024". Template

Schedule

Monday 16h-19:30h
Tuesday 10h-13h and 16h-19h
Wednesday 10h-13h and 16h-19h
Thursday 10h-13h and 16h-19h
Friday 10h-13h

Programme

Presentations

Book of Abstracts

Venue

IUC-Inter University Center Dubrovnik (see map)



Course directors