Konferencija Logic and Applications
- 09. Mart, 2015
- Komentari (0)
LAP 2015 CONFERENCE ANNOUNCEMENT
LOGIC AND APPLICATIONS - LAP 2015
September 21-25, 2015, Dubrovnik, Croatia
http://imft.ftn.uns.ac.rs/math/cms/LAP2015
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 was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012.
LAP 2013 was held in Dubrovnik, September 16-20, 2013
LAP 2014 was held in Dubrovnik, September 22-26, 2014
IMPORTANT DATES
Abstract Submission: June 1, 2015
Author Notification: June 25, 2015
Final version: July 5, 2015
SUBMISSION
Authors should submit an abstract in LaTeX format, not exceeding three pages, to
vlp@mi.sanu.ac.rs
(with the subject "LAP 2015").
LOCATION:
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
Komentari(0)