Logic and Applications 2022 (LAP 2022)
September 26-29, 2022, 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 2022 includes a satellite workshop Formal Reasoning and Semantics - FORMALS 2022, 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.
LAP 2021 was held as a hybrid meeting, online and in Dubrovnik, September 20 - 24, 2021.
June 15 July 1, 2022
July 1 July 12, 2022
July 8 July 15, 2022
- 50 EUR per participant for participation in person, this registration fee is payable in cash upon arrival.
- 25 EUR per paper for online participation, instruction for payment to IUC can be found here.
For more information about registration payment contact firstname.lastname@example.org
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 email@example.com with the subject "LAP 2022". Template