21-25 Sep 2015
Dubrovnik, Croatia
4th Conference
Logic and Applications 2015 (LAP2015)
<http://imft.ftn.uns.ac.rs/math/cms/LAP2015>
September 21-25, 2015, Dubrovnik, Croatia
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
<http://imft.ftn.uns.ac.rs/math/cms/SD2012> was held in Dubrovnik on June
28, 2012, co-located with the conference LICS 2012
<http://lii.rwth-aachen.de/lics/lics12/>.
LAP 2013 <http://imft.ftn.uns.ac.rs/math/cms/LAP2013> was held in
Dubrovnik, September 16 - 20, 2013.
LAP 2014 <http://imft.ftn.uns.ac.rs/math/cms/LAP2014> 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*
Registration
Registration fee: 50 EUR
It covers the booklet of abstracts. The registration fee is payable in cash
upon arrival.
Submission
Authors should submit an abstract in LaTeX format, not exceeding three
pages, to *vlp@mi.sanu.ac.rs <vlp@mi.sanu.ac.rs>* with the subject "LAP
2015".
Venue
IUC-Inter University Center Dubrovnik <http://www.iuc.hr/>
map
<https://maps.google.rs/maps?expflags=enable_star_based_justifications:true&ie=UTF8&cid=15868203063613452267&q=INTERUNIVERZITETSKI+CENTAR+DUBROVNIK&iwloc=A&gl=RS&hl=en>
Course directors
- Zvonimir ?iki? <http://www.fsb.unizg.hr/matematika/sikic/>, University
of Zagreb
- Andre Scedrov <http://www.cis.upenn.edu/%7Escedrov/>, University of
Pennsylvania
- Silvia Ghilezan <http://imft.ftn.uns.ac.rs/%7Esilvia>, University of
Novi Sad
- Zoran Ognjanovi? <http://www.mi.sanu.ac.rs/%7Ezorano/>, Mathematical
Institute SANU, Belgrade