[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=========================================================
[ Please broadcast/post/forward. Apologies for duplicates]
LAP 2018 CONFERENCE ANNOUNCEMENT
LOGIC AND APPLICATIONS - LAP 2018
September 24-28, 2018, Dubrovnik, Croatia
http://imft.ftn.uns.ac.rs/math/cms/LAP2018
<http://imft.ftn.uns.ac.rs/math/cms/LAP2018>
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;
- Lambda calculus;
- Set theory;
- Type theory;
- 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.
Student sessions will be organised.
Co-located event FORMALS 2018 http://formals.ufzg.hr/ <http://formals.ufzg.hr/>
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
<http://imft.ftn.uns.ac.rs/math/cms/LAP2013>)
LAP 2014, September 22-26, 2014 (http://imft.ftn.uns.ac.rs/math/cms/LAP2014
<http://imft.ftn.uns.ac.rs/math/cms/LAP2014>)
LAP 2015, September 21-25, 2015 (http://imft.ftn.uns.ac.rs/math/cms/LAP2015
<http://imft.ftn.uns.ac.rs/math/cms/LAP2015>)
LAP 2016, September 19-23, 2016 (http://imft.ftn.uns.ac.rs/math/cms/LAP2016
<http://imft.ftn.uns.ac.rs/math/cms/LAP2016>)
LAP 2016, September 18-22, 2017 (http://imft.ftn.uns.ac.rs/math/cms/LAP2017
<http://imft.ftn.uns.ac.rs/math/cms/LAP2017>)
IMPORTANT DATES
Abstract Submission: June 1, 2018
Author Notification: June 26, 2018
Final version: July 6, 2018
SUBMISSION
Authors should submit an abstract in LaTeX format, not exceeding three pages, to
[email protected] <mailto:[email protected]>
(with the subject "LAP 2018").
LOCATION:
IUC - Inter University Center Dubrovnik
http://www.iuc.hr/ <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
==================================================================
