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

[Simona Kasterovic]

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

LAP 2021 CONFERENCE ANNOUNCEMENT

LOGIC AND APPLICATIONS - LAP 2021

September 20-24, 2021, Dubrovnik, Croatia

http://imft.ftn.uns.ac.rs/math/cms/LAP2021


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;
- 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 (http://imft.ftn.uns.ac.rs/math/cms/LAP2013)
LAP 2014, September 22-26, 2014 (http://imft.ftn.uns.ac.rs/math/cms/LAP2014)
LAP 2015, September 21-25, 2015 (http://imft.ftn.uns.ac.rs/math/cms/LAP2015)
LAP 2016, September 19-23, 2016 (http://imft.ftn.uns.ac.rs/math/cms/LAP2016)
LAP 2017, September 18-22, 2017 (http://imft.ftn.uns.ac.rs/math/cms/LAP2017)
LAP 2018, September 24-28, 2018 (http://imft.ftn.uns.ac.rs/math/cms/LAP2018)
LAP 2019, September 23-27, 2019 (http://imft.ftn.uns.ac.rs/math/cms/LAP2019)
LAP 2020, September 21-25, 2020 (http://imft.ftn.uns.ac.rs/math/cms/LAP2020)

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

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

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

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

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

LOCATION:
IUC - Inter University Center Dubrovnik
http://www.iuc.hr/

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

COURSE DIRECTORS
- Zvonimir Šikić, University of Zagreb
- Andre Scedrov, University of Pennsylvania
- Silvia Ghilezan, University of Novi Sad
- Zoran Ognjanović, Mathematical Institute SANU, Belgrade
- Thomas Studer, University of Bern

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210409/34b161d3/attachment.htm>