<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>=========================================================<br>
</p>
<p align="center">LAP 2021 CONFERENCE ANNOUNCEMENT<br>
<br>
LOGIC AND APPLICATIONS - LAP 2021</p>
<p align="center">September 20-24, 2021, Dubrovnik, Croatia<br>
<br>
<a class="moz-txt-link-freetext" href="http://imft.ftn.uns.ac.rs/math/cms/LAP2021">http://imft.ftn.uns.ac.rs/math/cms/LAP2021</a><br>
</p>
<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>
- 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="http://imft.ftn.uns.ac.rs/math/cms/LAP2013">http://imft.ftn.uns.ac.rs/math/cms/LAP2013</a>)<br>
LAP 2014, September 22-26, 2014
(<a class="moz-txt-link-freetext" href="http://imft.ftn.uns.ac.rs/math/cms/LAP2014">http://imft.ftn.uns.ac.rs/math/cms/LAP2014</a>)<br>
LAP 2015, September 21-25, 2015
(<a class="moz-txt-link-freetext" href="http://imft.ftn.uns.ac.rs/math/cms/LAP2015">http://imft.ftn.uns.ac.rs/math/cms/LAP2015</a>)<br>
LAP 2016, September 19-23, 2016
(<a class="moz-txt-link-freetext" href="http://imft.ftn.uns.ac.rs/math/cms/LAP2016">http://imft.ftn.uns.ac.rs/math/cms/LAP2016</a>)<br>
LAP 2017, September 18-22, 2017
(<a class="moz-txt-link-freetext" href="http://imft.ftn.uns.ac.rs/math/cms/LAP2017">http://imft.ftn.uns.ac.rs/math/cms/LAP2017</a>)<br>
LAP 2018, September 24-28, 2018
(<a class="moz-txt-link-freetext" href="http://imft.ftn.uns.ac.rs/math/cms/LAP2018">http://imft.ftn.uns.ac.rs/math/cms/LAP2018</a>)<br>
LAP 2019, September 23-27, 2019
(<a class="moz-txt-link-freetext" href="http://imft.ftn.uns.ac.rs/math/cms/LAP2019">http://imft.ftn.uns.ac.rs/math/cms/LAP2019</a>)<br>
LAP 2020, September 21-25, 2020
(<a class="moz-txt-link-freetext" href="http://imft.ftn.uns.ac.rs/math/cms/LAP2020">http://imft.ftn.uns.ac.rs/math/cms/LAP2020</a>)<br>
<br>
-------------------------------------------------<br>
<br>
IMPORTANT DATES<br>
Abstract Submission: June 15, 2021<br>
Author Notification: July 1, 2021<br>
Final version: July 8, 2021<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> (with the subject "LAP 2021").<br>
<br>
-------------------------------------------------<br>
<br>
LOCATION:<br>
IUC - Inter University Center Dubrovnik<br>
<a class="moz-txt-link-freetext" href="http://www.iuc.hr/">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>
<br>
</body>
</html>