3rd Conference
Logic and Applications 2014 (LAP 2014)
September 22-26, 2014, Dubrovnik, Croatia
![](http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/SDC17162.jpg)
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;
- 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.
Student sessions will be organized.
The first conference Proof Systems - Sustavi dokazivanja was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012.
The second conference Logic and Applications 2013 - LAP 2013 was held in Dubrovnik, September 16 - 20, 2013.
![](http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/dubrovnik2_by_petar.jpg)
Important Dates
Abstract Submission: June 2, 2014
Author Notification: June 30, 2014
Final version: August 25, 2014
Registration
Registration fee: 50 EUR
It covers the booklet of abstracts and coffee breaks. The registration fee is payable in cash upon arrival.
![](http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/dubrovnik3_by_petar.jpg)
Submission
Authors should submit an abstract in LaTeX format, not exceeding three pages, to vlp@mi.sanu.ac.rs with the subject "LAP 2014".
List of participants
Programme
Booklet of abstracts in pdf.
Venue
IUC-Inter University Center Dubrovnik
Course directors
- Zvonimir Šikić, University of Zagreb
- Andre Scedrov, University of Pennsylvania
- Silvia Ghilezan, University of Novi Sad
- Zoran Ognjanović, Mathematical Institute SANU, Belgrade