Logic and Applications 2021 (LAP 2021)
September 20-24, 2021, Dubrovnik, Croatia
The format of the conference will be hybrid (blended), combining talks of participants at the venue and online participants. For online participants a Zoom link will be provided before the conference.
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 and Privacy.
Student sessions will be organized.
LAP 2021 includes a satellite workshop Formal Reasoning and Semantics - FORMALS 2021, as a part of a research project supported by Croatian Science Foundation (UIP-2017-05-9219). Information about the workshop can be found here.
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.
June 15 July 1, 2021
July 1 July 8, 2021
July 8 July 15, 2021
- 50 EUR per participant for participation in person, this registration fee is payable in cash upon arrival.
- 40 EUR per paper for online participation, instruction for payment to IUC can be found here.
For more information about registration payment contact email@example.com
The registration fee covers the rental of the classroom and online devices.
Authors should submit an abstract in LaTeX format, not exceeding three pages, to firstname.lastname@example.org with the subject "LAP 2021". Template
Monday 10h-13h and 16h-19h
Tuesday 10h-13h and 16h-19h
Wednesday 10h-13h and 16h-19h
Thursday 10h-13h and 16h-19h