
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div style="margin: 0px;">=========================================================</div><div style="margin: 0px;">[Please broadcast/post/forward. Apologies for duplicates]</div><div style="margin: 0px;"><br></div><div style="margin: 0px;">LAP 2025 CALL FOR PAPERS</div><div style="margin: 0px;"><br></div><div style="margin: 0px;">LOGIC AND APPLICATIONS - LAP 2025</div><div style="margin: 0px;">September 24-28, 2025, Dubrovnik, Croatia</div><div style="margin: 0px;"><br></div><div style="margin: 0px;"><a href="https://urldefense.com/v3/__https://lap.math.hr/LAP2025/__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-Wivfu6E$">https://lap.math.hr/LAP2025/</a></div><div style="margin: 0px;"><br></div><div style="margin: 0px;">The conference brings together researchers from various fields of logic with applications in computer science.</div><div style="margin: 0px;">Topics of interest include, but are not restricted to:</div><div style="margin: 0px;">- Formal systems of classical and non-classical logic;</div><div style="margin: 0px;">- Category theory;</div><div style="margin: 0px;">- Proof theory;</div><div style="margin: 0px;">- Model theory;</div><div style="margin: 0px;">- Set theory;</div><div style="margin: 0px;">- Type theory;</div><div style="margin: 0px;">- Lambda calculus;</div><div style="margin: 0px;">- Process algebras and calculi;</div><div style="margin: 0px;">- Behavioural types;</div><div style="margin: 0px;">- Systems of reasoning in the presence of incomplete, imprecise and/or contradictory information;</div><div style="margin: 0px;">- Computational complexity;</div><div style="margin: 0px;">- Interactive theorem provers;</div><div style="margin: 0px;">- Security and Privacy.</div><div style="margin: 0px;"><br></div><div style="margin: 0px;">Student sessions will be organized.</div><div style="margin: 0px;"><br></div><div style="margin: 0px;">-------------------------------------------------</div><div style="margin: 0px;"><br></div><div style="margin: 0px;">LAP is a series of conferences held at IUC - Inter University Center Dubrovnik, Croatia.</div><div style="margin: 0px;">The first conference Proof Systems was held on June 28, 2012, co-located with the conference LICS 2012, </div><div style="margin: 0px;">followed by </div><div style="margin: 0px;">LAP 2013, September 16-20, 2013 (<a href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2013__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-bl0k4Xj$">http://imft.ftn.uns.ac.rs/math/cms/LAP2013</a>)</div><div style="margin: 0px;">LAP 2014, September 22-26, 2014 (<a href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2014__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-YasUKBj$">http://imft.ftn.uns.ac.rs/math/cms/LAP2014</a>)</div><div style="margin: 0px;">LAP 2015, September 21-25, 2015 (<a href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2015__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-TVlCWZw$">http://imft.ftn.uns.ac.rs/math/cms/LAP2015</a>)</div><div style="margin: 0px;">LAP 2016, September 19-23, 2016 (<a href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2016__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-Uuk8Npp$">http://imft.ftn.uns.ac.rs/math/cms/LAP2016</a>)</div><div style="margin: 0px;">LAP 2017, September 18-22, 2017 (<a href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2017__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-b-Qd_pZ$">http://imft.ftn.uns.ac.rs/math/cms/LAP2017</a>)</div><div style="margin: 0px;">LAP 2018, September 24-28, 2018 (<a href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2018__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-WaI08bd$">http://imft.ftn.uns.ac.rs/math/cms/LAP2018</a>)</div><div style="margin: 0px;">LAP 2019, September 23-27, 2019 (<a href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2019__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-RU2K5uq$">http://imft.ftn.uns.ac.rs/math/cms/LAP2019</a>)</div><div style="margin: 0px;">LAP 2020, September 21-25, 2020 (<a href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2020__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-b6YDwFJ$">http://imft.ftn.uns.ac.rs/math/cms/LAP2020</a>)</div><div style="margin: 0px;">LAP 2021, September 20-24, 2021 (<a href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2021__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-Rqy5pjB$">http://imft.ftn.uns.ac.rs/math/cms/LAP2021</a>)</div><div style="margin: 0px;">LAP 2022, September 26-30, 2022 (<a href="https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2022__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-TC5NmqA$">http://imft.ftn.uns.ac.rs/math/cms/LAP2022</a>)</div><div style="margin: 0px;">LAP 2023, September 25-29, 2023 (<a href="https://urldefense.com/v3/__https://lap.math.hr/LAP2023__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-S-Jp4XN$">https://lap.math.hr/LAP2023</a>)</div><div style="margin: 0px;">LAP 2024, September 23-27, 2024 (<a href="https://urldefense.com/v3/__https://lap.math.hr/LAP2024__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-ZgDd3YZ$">https://lap.math.hr/LAP2024</a>)</div><div style="margin: 0px;"><br></div><div style="margin: 0px;"><br></div><div style="margin: 0px;">-------------------------------------------------</div><div style="margin: 0px;"><br></div><div style="margin: 0px;">IMPORTANT DATES</div><div style="margin: 0px;">Abstract Submission: June 15, 2025</div><div style="margin: 0px;">Author Notification: July 1, 2025</div><div style="margin: 0px;">Final version: July 8, 2025</div><div style="margin: 0px;"><br></div><div style="margin: 0px;">-------------------------------------------------</div><div style="margin: 0px;"><br></div><div style="margin: 0px;">SUBMISSION</div><div style="margin: 0px;">Authors should submit an abstract in LaTeX format, not exceeding three pages, to <a href="mailto:vlp@mi.sanu.ac.rs">vlp@mi.sanu.ac.rs</a> </div><div style="margin: 0px;">(with the subject "LAP 2025").</div><div style="margin: 0px;"><br></div><div style="margin: 0px;">-------------------------------------------------</div><div style="margin: 0px;"><br></div><div style="margin: 0px;">LOCATION:</div><div style="margin: 0px;">IUC - Inter University Center Dubrovnik</div><div style="margin: 0px;"><a href="https://urldefense.com/v3/__http://www.iuc.hr/__;!!IBzWLUs!T-NZ6t5mQMYVs_E36HyiFVkcsdFh0wOqNYbnFJXsEFlY_aC3P9IJHe-4L95a-GCU9A84cUGWiyZzM-xELLoc6q7V-T8XYKmp$">http://www.iuc.hr/</a></div><div style="margin: 0px;"><br></div><div style="margin: 0px;">-------------------------------------------------</div><div style="margin: 0px;"><br></div><div style="margin: 0px;">COURSE DIRECTORS</div><div style="margin: 0px;">- Zvonimir Šikić, University of Zagreb</div><div style="margin: 0px;">- Andre Scedrov, University of Pennsylvania</div><div style="margin: 0px;">- Silvia Ghilezan, University of Novi Sad</div><div style="margin: 0px;">- Zoran Ognjanović, Mathematical Institute SANU, Belgrade</div><div style="margin: 0px;">- Thomas Studer, University of Bern</div><div style="margin: 0px;"><br></div><div style="margin: 0px;">==================================================================</div></div></body></html>