<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
==========================================================================================<br>
[Please broadcast/post/forward. Apologies for duplicates]<br>
<br>
<blockquote>
<blockquote>
<blockquote>
<blockquote>
<blockquote>
<blockquote>LAP 2023: CALL FOR PAPERS<br>
</blockquote>
LOGIC AND APPLICATIONS - LAP 2023<br>
September 25-29, 2023, Dubrovnik, Croatia<br>
</blockquote>
</blockquote>
</blockquote>
</blockquote>
</blockquote>
<br>
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://lap.math.hr/__;!!IBzWLUs!VPCpo4I5pw6kj3-DGFow3MWVbjY9sAof1TE_GA2TMOz37QR8kzxK8bOIudoqNgdlCdtxu6izEdZYqgMvTyJKYBpglgydXvw6fQ$">https://lap.math.hr/</a><br>
<br>
The conference brings together researchers from various fields of
logic with applications in computer science.<br>
Topics of interest include, but are not restricted to:<br>
- Formal systems of classical and non-classical logic;<br>
- Category theory;<br>
- Proof theory;<br>
- Model theory;<br>
- Set theory;<br>
- Type theory;<br>
- Lambda calculus;<br>
- Process algebras and calculi;<br>
- Behavioural types;<br>
- Systems of reasoning in the presence of incomplete, imprecise
and/or contradictory information;<br>
- Computational complexity;<br>
- Interactive theorem provers;<br>
- Security and Privacy.<br>
<br>
Student sessions will be organized.<br>
<br>
-------------------------------------------------<br>
<br>
LAP is a series of conferences held at IUC - Inter University Center
Dubrovnik, Croatia.<br>
The first conference Proof Systems was held on June 28, 2012,
co-located with the conference LICS 2012, followed by <br>
LAP 2013, September 16-20, 2013
(<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2013__;!!IBzWLUs!VPCpo4I5pw6kj3-DGFow3MWVbjY9sAof1TE_GA2TMOz37QR8kzxK8bOIudoqNgdlCdtxu6izEdZYqgMvTyJKYBpglgxO-F21KA$">http://imft.ftn.uns.ac.rs/math/cms/LAP2013</a>)<br>
LAP 2014, September 22-26, 2014
(<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2014__;!!IBzWLUs!VPCpo4I5pw6kj3-DGFow3MWVbjY9sAof1TE_GA2TMOz37QR8kzxK8bOIudoqNgdlCdtxu6izEdZYqgMvTyJKYBpglgwQqDJROQ$">http://imft.ftn.uns.ac.rs/math/cms/LAP2014</a>)<br>
LAP 2015, September 21-25, 2015
(<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2015__;!!IBzWLUs!VPCpo4I5pw6kj3-DGFow3MWVbjY9sAof1TE_GA2TMOz37QR8kzxK8bOIudoqNgdlCdtxu6izEdZYqgMvTyJKYBpglgxeHMFZYA$">http://imft.ftn.uns.ac.rs/math/cms/LAP2015</a>)<br>
LAP 2016, September 19-23, 2016
(<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2016__;!!IBzWLUs!VPCpo4I5pw6kj3-DGFow3MWVbjY9sAof1TE_GA2TMOz37QR8kzxK8bOIudoqNgdlCdtxu6izEdZYqgMvTyJKYBpglgxPprmX1A$">http://imft.ftn.uns.ac.rs/math/cms/LAP2016</a>)<br>
LAP 2017, September 18-22, 2017
(<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2017__;!!IBzWLUs!VPCpo4I5pw6kj3-DGFow3MWVbjY9sAof1TE_GA2TMOz37QR8kzxK8bOIudoqNgdlCdtxu6izEdZYqgMvTyJKYBpglgyJjiM22Q$">http://imft.ftn.uns.ac.rs/math/cms/LAP2017</a>)<br>
LAP 2018, September 24-28, 2018
(<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2018__;!!IBzWLUs!VPCpo4I5pw6kj3-DGFow3MWVbjY9sAof1TE_GA2TMOz37QR8kzxK8bOIudoqNgdlCdtxu6izEdZYqgMvTyJKYBpglgw6FyrXIg$">http://imft.ftn.uns.ac.rs/math/cms/LAP2018</a>)<br>
LAP 2019, September 23-27, 2019
(<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2019__;!!IBzWLUs!VPCpo4I5pw6kj3-DGFow3MWVbjY9sAof1TE_GA2TMOz37QR8kzxK8bOIudoqNgdlCdtxu6izEdZYqgMvTyJKYBpglgwoPZMrWw$">http://imft.ftn.uns.ac.rs/math/cms/LAP2019</a>)<br>
LAP 2020, September 21-25, 2020
(<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2020__;!!IBzWLUs!VPCpo4I5pw6kj3-DGFow3MWVbjY9sAof1TE_GA2TMOz37QR8kzxK8bOIudoqNgdlCdtxu6izEdZYqgMvTyJKYBpglgw4waiEsA$">http://imft.ftn.uns.ac.rs/math/cms/LAP2020</a>)<br>
LAP 2021, September 20-24, 2021
(<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2021__;!!IBzWLUs!VPCpo4I5pw6kj3-DGFow3MWVbjY9sAof1TE_GA2TMOz37QR8kzxK8bOIudoqNgdlCdtxu6izEdZYqgMvTyJKYBpglgyvIw8nHQ$">http://imft.ftn.uns.ac.rs/math/cms/LAP2021</a>)<br>
LAP 2022, September 26-30, 2022
(<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2022__;!!IBzWLUs!VPCpo4I5pw6kj3-DGFow3MWVbjY9sAof1TE_GA2TMOz37QR8kzxK8bOIudoqNgdlCdtxu6izEdZYqgMvTyJKYBpglgw91BSeTw$">http://imft.ftn.uns.ac.rs/math/cms/LAP2022</a>)<br>
<br>
<br>
-------------------------------------------------<br>
<br>
IMPORTANT DATES<br>
Abstract Submission: June 15, 2023<br>
Author Notification: July 1, 2023<br>
Final version: July 8, 2023<br>
<br>
-------------------------------------------------<br>
<br>
SUBMISSION<br>
Authors should submit an abstract in LaTeX format, not exceeding
three pages, to <a class="moz-txt-link-abbreviated" href="mailto:vlp@mi.sanu.ac.rs">vlp@mi.sanu.ac.rs</a> <br>
(with the subject "LAP 2023").<br>
<br>
-------------------------------------------------<br>
<br>
LOCATION:<br>
IUC - Inter University Center Dubrovnik<br>
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__http://www.iuc.hr/__;!!IBzWLUs!VPCpo4I5pw6kj3-DGFow3MWVbjY9sAof1TE_GA2TMOz37QR8kzxK8bOIudoqNgdlCdtxu6izEdZYqgMvTyJKYBpglgz3qlLg2w$">http://www.iuc.hr/</a><br>
<br>
-------------------------------------------------<br>
<br>
COURSE DIRECTORS<br>
- Zvonimir Šikić, University of Zagreb<br>
- Andre Scedrov, University of Pennsylvania<br>
- Silvia Ghilezan, University of Novi Sad<br>
- Zoran Ognjanović, Mathematical Institute SANU, Belgrade<br>
- Thomas Studer, University of Bern<br>
<br>
===========================================================================================<br>
</body>
</html>