[TYPES/announce] LAP 2024 - Logic and Applications: CFP

[Simona Prokić]

=========================================================
[Please broadcast/post/forward. Apologies for duplicates]

LAP 2024 CALL FOR PAPERS

LOGIC AND APPLICATIONS - LAP 2024
September 23-27, 2024, Dubrovnik, Croatia

https://urldefense.com/v3/__https://lap.math.hr/LAP2024/__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9AL1OW07w$ 

The 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 is a series of conferences held at IUC - Inter University Center 
Dubrovnik, Croatia. The first conference Proof Systems was held on June 
28, 2012, co-located with the conference LICS 2012, followed by

LAP 2013, September 16-20, 2013 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2013__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9DFfN1iUA$ )
LAP 2014, September 22-26, 2014 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2014__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9DIfvcChQ$ )
LAP 2015, September 21-25, 2015 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2015__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9CsJ8y1BA$ )
LAP 2016, September 19-23, 2016 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2016__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9BLZ2VWCw$ )
LAP 2017, September 18-22, 2017 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2017__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9Dc6RVg0w$ )
LAP 2018, September 24-28, 2018 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2018__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9B61LuF0w$ )
LAP 2019, September 23-27, 2019 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2019__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9CnlBt9XQ$ )
LAP 2020, September 21-25, 2020 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2020__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9AqH3R-yw$ )
LAP 2021, September 20-24, 2021 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2021__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9DutN7DPA$ )
LAP 2022, September 26-30, 2022 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2022__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9AEzKPyHg$ )
LAP 2023, Sepmtember 25-29, 2023 (https://urldefense.com/v3/__https://lap.math.hr/LAP2023__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9CUyLDpGw$ )


-------------------------------------------------

IMPORTANT DATES
Abstract Submission: June 15, 2024
Author Notification: July 1, 2024
Final version: July 8, 2024

-------------------------------------------------

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

-------------------------------------------------

LOCATION:
IUC - Inter University Center Dubrovnik
https://urldefense.com/v3/__http://www.iuc.hr/__;!!IBzWLUs!To_55Jb3pyjDrDGsQUv9urvJ102HMZiGoP4WAEao02jGTKIkaMjE367S8xJEBTHRPr_7fY5vmnnr9QC2LUd2u4nxG9DrnrE4DQ$ 

-------------------------------------------------

COURSE DIRECTORS
- Zvonimir Šikić, University of Zagreb
- Andre Scedrov, University of Pennsylvania
- Silvia Ghilezan, University of Novi Sad
- Zoran Ognjanović, Mathematical Institute SANU, Belgrade
- Thomas Studer, University of Bern

==================================================================