
<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><p style="white-space: pre-wrap;" class="">=========================================================

</p><p style="white-space: pre-wrap;" class="">[Please broadcast/post/forward. Apologies for duplicates]

</p><pre style="margin-top: 0px; margin-bottom: 0px;" class=""></pre><br class=""><div align="center" class="">LAP 2022 CONFERENCE ANNOUNCEMENT<br class=""><br class="">LOGIC AND APPLICATIONS - LAP 2022<br class=""><br class="">September 26-29, 2022, Dubrovnik, Croatia<br class=""><br class=""><br class=""></div><p align="center" style="white-space: pre-wrap;" class=""><a moz-do-not-send="true" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2022__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N8JbmjXZA$" class=""><span style="color: rgb(0, 0, 0);" class="">http</span><span style="color: rgb(0, 0, 0);" class="">://</span><span style="color: rgb(0, 0, 0);" class="">imft</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">ftn</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">uns</span><span style="color: rgb(0, 0, 0);" class="">.ac.rs/math/</span><span style="color: rgb(0, 0, 0);" class="">cms</span><span style="color: rgb(0, 0, 0);" class="">/</span><span style="color: rgb(0, 0, 0);" class="">LAP2022</span></a></p><div style="white-space: pre-wrap;" class="">

<br class="webkit-block-placeholder"></div><pre style="margin-top: 0px; margin-bottom: 0px;" class=""></pre><div style="white-space: pre-wrap; margin: 0px;" class="">The conference brings together researchers from various fields of logic with applications in computer science.</div><div style="white-space: pre-wrap; margin: 0px;" class="">Topics of interest include, but are not restricted to:</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Formal systems of classical and non-classical logic;</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Category theory;</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Proof theory;</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Model theory;</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Set theory;</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Type theory;</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Lambda calculus;</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Process algebras and calculi;</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Behavioural types;</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Systems of reasoning in the presence of incomplete, imprecise and/or contradictory information;</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Computational complexity;</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Interactive theorem provers;</div><div style="white-space: pre-wrap; margin: 0px;" class="">- Security and Privacy.</div><p style="white-space: pre-wrap; margin: 0px;" class="">

</p><div style="white-space: pre-wrap; margin: 0px;" class="">Student sessions will be organized.</div><p style="white-space: pre-wrap; margin: 0px;" class="">

</p><div style="white-space: pre-wrap; margin: 0px;" class="">-------------------------------------------------</div><p style="white-space: pre-wrap; margin: 0px;" class="">

</p><div style="white-space: pre-wrap; margin: 0px;" class="">LAP is a series of conferences held at IUC - Inter University Center Dubrovnik, Croatia.</div><div style="white-space: pre-wrap; margin: 0px;" class="">The first conference Proof Systems was held on June 28, 2012, co-located with the conference LICS 2012, </div><div style="white-space: pre-wrap; margin: 0px;" class="">followed by </div><div style="white-space: pre-wrap; margin: 0px;" class="">LAP 2013, September 16-20, 2013 (<a moz-do-not-send="true" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2013__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N8TXk_acQ$" class=""><span style="color: rgb(0, 0, 0);" class="">http</span><span style="color: rgb(0, 0, 0);" class="">://</span><span style="color: rgb(0, 0, 0);" class="">imft</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">ftn</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">uns</span><span style="color: rgb(0, 0, 0);" class="">.ac.rs/math/</span><span style="color: rgb(0, 0, 0);" class="">cms</span><span style="color: rgb(0, 0, 0);" class="">/</span><span style="color: rgb(0, 0, 0);" class="">LAP2013</span></a>)</div><div style="white-space: pre-wrap; margin: 0px;" class="">LAP 2014, September 22-26, 2014 (<a moz-do-not-send="true" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2014__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N_a3gg4yQ$" class=""><span style="color: rgb(0, 0, 0);" class="">http</span><span style="color: rgb(0, 0, 0);" class="">://</span><span style="color: rgb(0, 0, 0);" class="">imft</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">ftn</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">uns</span><span style="color: rgb(0, 0, 0);" class="">.ac.rs/math/</span><span style="color: rgb(0, 0, 0);" class="">cms</span><span style="color: rgb(0, 0, 0);" class="">/</span><span style="color: rgb(0, 0, 0);" class="">LAP2014</span></a>)</div><div style="white-space: pre-wrap; margin: 0px;" class="">LAP 2015, September 21-25, 2015 (<a moz-do-not-send="true" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2015__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N_gVqVKIA$" class=""><span style="color: rgb(0, 0, 0);" class="">http</span><span style="color: rgb(0, 0, 0);" class="">://</span><span style="color: rgb(0, 0, 0);" class="">imft</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">ftn</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">uns</span><span style="color: rgb(0, 0, 0);" class="">.ac.rs/math/</span><span style="color: rgb(0, 0, 0);" class="">cms</span><span style="color: rgb(0, 0, 0);" class="">/</span><span style="color: rgb(0, 0, 0);" class="">LAP2015</span></a>)</div><div style="white-space: pre-wrap; margin: 0px;" class="">LAP 2016, September 19-23, 2016 (<a moz-do-not-send="true" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2016__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N9N9rBT6A$" class=""><span style="color: rgb(0, 0, 0);" class="">http</span><span style="color: rgb(0, 0, 0);" class="">://</span><span style="color: rgb(0, 0, 0);" class="">imft</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">ftn</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">uns</span><span style="color: rgb(0, 0, 0);" class="">.ac.rs/math/</span><span style="color: rgb(0, 0, 0);" class="">cms</span><span style="color: rgb(0, 0, 0);" class="">/</span><span style="color: rgb(0, 0, 0);" class="">LAP2016</span></a>)</div><div style="white-space: pre-wrap; margin: 0px;" class="">LAP 2017, September 18-22, 2017 (<a moz-do-not-send="true" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2017__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N9LAB8jzw$" class=""><span style="color: rgb(0, 0, 0);" class="">http</span><span style="color: rgb(0, 0, 0);" class="">://</span><span style="color: rgb(0, 0, 0);" class="">imft</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">ftn</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">uns</span><span style="color: rgb(0, 0, 0);" class="">.ac.rs/math/</span><span style="color: rgb(0, 0, 0);" class="">cms</span><span style="color: rgb(0, 0, 0);" class="">/</span><span style="color: rgb(0, 0, 0);" class="">LAP2017</span></a>)</div><div style="white-space: pre-wrap; margin: 0px;" class="">LAP 2018, September 24-28, 2018 (<a moz-do-not-send="true" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2018__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N93TZB3ow$" class=""><span style="color: rgb(0, 0, 0);" class="">http</span><span style="color: rgb(0, 0, 0);" class="">://</span><span style="color: rgb(0, 0, 0);" class="">imft</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">ftn</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">uns</span><span style="color: rgb(0, 0, 0);" class="">.ac.rs/math/</span><span style="color: rgb(0, 0, 0);" class="">cms</span><span style="color: rgb(0, 0, 0);" class="">/</span><span style="color: rgb(0, 0, 0);" class="">LAP2018</span></a>)</div><div style="white-space: pre-wrap; margin: 0px;" class="">LAP 2019, September 23-27, 2019 (<a moz-do-not-send="true" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2019__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N8TekiNDg$" class=""><span style="color: rgb(0, 0, 0);" class="">http</span><span style="color: rgb(0, 0, 0);" class="">://</span><span style="color: rgb(0, 0, 0);" class="">imft</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">ftn</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">uns</span><span style="color: rgb(0, 0, 0);" class="">.ac.rs/math/</span><span style="color: rgb(0, 0, 0);" class="">cms</span><span style="color: rgb(0, 0, 0);" class="">/</span><span style="color: rgb(0, 0, 0);" class="">LAP2019</span></a>)</div><div style="white-space: pre-wrap; margin: 0px;" class="">LAP 2020, September 21-25, 2020 (<a moz-do-not-send="true" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2020__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N-6Afh-aA$" class=""><span style="color: rgb(0, 0, 0);" class="">http</span><span style="color: rgb(0, 0, 0);" class="">://</span><span style="color: rgb(0, 0, 0);" class="">imft</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">ftn</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">uns</span><span style="color: rgb(0, 0, 0);" class="">.ac.rs/math/</span><span style="color: rgb(0, 0, 0);" class="">cms</span><span style="color: rgb(0, 0, 0);" class="">/</span><span style="color: rgb(0, 0, 0);" class="">LAP2020</span></a>)</div><div style="white-space: pre-wrap; margin: 0px;" class="">LAP 2021, September 20-24, 2021 (<a moz-do-not-send="true" href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2021__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N_tG3CCSQ$" class=""><span style="color: rgb(0, 0, 0);" class="">http</span><span style="color: rgb(0, 0, 0);" class="">://</span><span style="color: rgb(0, 0, 0);" class="">imft</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">ftn</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">uns</span><span style="color: rgb(0, 0, 0);" class="">.ac.rs/math/</span><span style="color: rgb(0, 0, 0);" class="">cms</span><span style="color: rgb(0, 0, 0);" class="">/</span><span style="color: rgb(0, 0, 0);" class="">LAP2021</span></a>)</div><p style="white-space: pre-wrap; margin: 0px;" class="">

</p><div style="white-space: pre-wrap; margin: 0px;" class="">-------------------------------------------------</div><p style="white-space: pre-wrap; margin: 0px;" class="">

</p><div style="white-space: pre-wrap; margin: 0px;" class="">IMPORTANT DATES</div><div style="white-space: pre-wrap; margin: 0px;" class="">Abstract Submission: June 15, 2022</div><div style="white-space: pre-wrap; margin: 0px;" class="">Author Notification: July 1, 2022</div><div style="white-space: pre-wrap; margin: 0px;" class="">Final version: July 8, 2022</div><p style="white-space: pre-wrap; margin: 0px;" class="">

</p><div style="white-space: pre-wrap; margin: 0px;" class="">-------------------------------------------------</div><p style="white-space: pre-wrap; margin: 0px;" class="">

</p><div style="white-space: pre-wrap; margin: 0px;" class="">SUBMISSION</div><div style="white-space: pre-wrap; margin: 0px;" class="">Authors should submit an abstract in LaTeX format, not exceeding three pages, to <a href="mailto:vlp@mi.sanu.ac.rs" class="">vlp@mi</a><a href="mailto:vlp@mi.sanu.ac.rs" class="">.</a><a href="mailto:vlp@mi.sanu.ac.rs" class="">sanu</a><a href="mailto:vlp@mi.sanu.ac.rs" class="">.ac.rs</a> </div><div style="white-space: pre-wrap; margin: 0px;" class="">(with the subject "LAP 2022").</div><p style="white-space: pre-wrap; margin: 0px;" class="">

</p><div style="white-space: pre-wrap; margin: 0px;" class="">-------------------------------------------------</div><p style="white-space: pre-wrap; margin: 0px;" class="">

</p><div style="white-space: pre-wrap; margin: 0px;" class="">LOCATION:</div><div style="white-space: pre-wrap; margin: 0px;" class="">IUC - Inter University Center Dubrovnik</div><div style="white-space: pre-wrap; margin: 0px;" class=""><a moz-do-not-send="true" href="https://urldefense.com/v3/__http://www.iuc.hr/__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N-Fu5ucZQ$" class=""><span style="color: rgb(0, 0, 0);" class="">http</span><span style="color: rgb(0, 0, 0);" class="">://</span><span style="color: rgb(0, 0, 0);" class="">www</span><span style="color: rgb(0, 0, 0);" class="">.</span><span style="color: rgb(0, 0, 0);" class="">iuc</span><span style="color: rgb(0, 0, 0);" class="">.hr/</span></a></div><p style="white-space: pre-wrap; margin: 0px;" class="">

</p><div style="white-space: pre-wrap; margin: 0px;" class="">-------------------------------------------------</div></body></html>