[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=========================================================
[Please broadcast/post/forward. Apologies for duplicates]
LAP 2026 CALL FOR PAPERS
LOGIC AND APPLICATIONS - LAP 2026
September 23-27, 2026, Dubrovnik, Croatia
https://urldefense.com/v3/__https://lap.math.hr/LAP2026/__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-6Un_l8k$
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!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-VM0_P6s$
)
LAP 2014, September 22-26, 2014
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2014__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-pm6pyxQ$
)
LAP 2015, September 21-25, 2015
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2015__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-vfOIufQ$
)
LAP 2016, September 19-23, 2016
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2016__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-utqNha0$
)
LAP 2017, September 18-22, 2017
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2017__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-3eWmV4I$
)
LAP 2018, September 24-28, 2018
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2018__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-x5g7f4c$
)
LAP 2019, September 23-27, 2019
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2019__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-rJ-e8mo$
)
LAP 2020, September 21-25, 2020
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2020__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-6YcXV00$
)
LAP 2021, September 20-24, 2021
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2021__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-f5HbP_0$
)
LAP 2022, September 26-30, 2022
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2022__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-omHf2NI$
)
LAP 2023, September 25-29, 2023
(https://urldefense.com/v3/__https://lap.math.hr/LAP2023__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M--x0qCjs$
)
LAP 2024, September 23-27, 2024
(https://urldefense.com/v3/__https://lap.math.hr/LAP2024__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-Hn6ESSI$
)
LAP 2025, September 24-28, 2025
(https://urldefense.com/v3/__https://lap.math.hr/LAP2025__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-rHysq5k$
)
-------------------------------------------------
IMPORTANT DATES
Abstract Submission: June 30, 2026
Author Notification: July 10, 2026
Final version: July 15, 2025
-------------------------------------------------
SUBMISSION
Authors should submit an abstract in LaTeX format, not exceeding three
pages, to
[email protected]
(with the subject "LAP 2026").
-------------------------------------------------
LOCATION:
IUC - Inter University Center Dubrovnik
https://urldefense.com/v3/__http://www.iuc.hr/__;!!IBzWLUs!QcOdfgloLePLsVOjUPDdkYG9NpCVaSkTROsF74xvlJTTrG8wS_949NVll0XJrtT1NS0Cop6mDyqR4AqyZjXaBj7cBeAUE3M-8noQEIQ$
-------------------------------------------------
CONFERENCE 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
==================================================================
