[TYPES/announce] LAP 2022 - Logic and Applications: CFP

[Silvia Ghilezan]

=========================================================

[Please broadcast/post/forward. Apologies for duplicates]


LAP 2022 CONFERENCE ANNOUNCEMENT

LOGIC AND APPLICATIONS - LAP 2022

September 26-29, 2022, Dubrovnik, Croatia


https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2022__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N8JbmjXZA$  <https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2022__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N8JbmjXZA$ >


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!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N8TXk_acQ$  <https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2013__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N8TXk_acQ$ >)
LAP 2014, September 22-26, 2014 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2014__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N_a3gg4yQ$  <https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2014__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N_a3gg4yQ$ >)
LAP 2015, September 21-25, 2015 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2015__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N_gVqVKIA$  <https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2015__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N_gVqVKIA$ >)
LAP 2016, September 19-23, 2016 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2016__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N9N9rBT6A$  <https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2016__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N9N9rBT6A$ >)
LAP 2017, September 18-22, 2017 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2017__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N9LAB8jzw$  <https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2017__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N9LAB8jzw$ >)
LAP 2018, September 24-28, 2018 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2018__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N93TZB3ow$  <https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2018__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N93TZB3ow$ >)
LAP 2019, September 23-27, 2019 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2019__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N8TekiNDg$  <https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2019__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N8TekiNDg$ >)
LAP 2020, September 21-25, 2020 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2020__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N-6Afh-aA$  <https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2020__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N-6Afh-aA$ >)
LAP 2021, September 20-24, 2021 (https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2021__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N_tG3CCSQ$  <https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2021__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N_tG3CCSQ$ >)

-------------------------------------------------

IMPORTANT DATES
Abstract Submission: June 15, 2022
Author Notification: July 1, 2022
Final version: July 8, 2022

-------------------------------------------------

SUBMISSION
Authors should submit an abstract in LaTeX format, not exceeding three pages, to vlp at mi <mailto:vlp at mi.sanu.ac.rs>. <mailto:vlp at mi.sanu.ac.rs>sanu <mailto:vlp at mi.sanu.ac.rs>.ac.rs <mailto:vlp at mi.sanu.ac.rs> 
(with the subject "LAP 2022").

-------------------------------------------------

LOCATION:
IUC - Inter University Center Dubrovnik
https://urldefense.com/v3/__http://www.iuc.hr/__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N-Fu5ucZQ$  <https://urldefense.com/v3/__http://www.iuc.hr/__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N-Fu5ucZQ$ >

-------------------------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220407/3919914e/attachment-0001.htm>