19-23 Sep 2016
Dubrovnik, Croatia
LAP 2016: Logic and Applications
*19-23 Sep 2016 Dubrovnik, Croatia*
5th Conference
Logic and Applications 2016 (LAP 2016)
<http://imft.ftn.uns.ac.rs/math/cms/LAP2016>
September 19-23, 2016, 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;
- Security.
Student sessions will be organized.
Important Dates
Abstract Submission: June 1, 2016
Author Notification: June 25, 2016
*Final version: July 5, 2016*
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
2016".
Venue
IUC-Inter University Center Dubrovnik <http://www.iuc.hr/> (see 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
- Thomas Studer <https://www.iam.unibe.ch/%7Etstuder/>, University of
Bern
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.
LAP 2015 <http://imft.ftn.uns.ac.rs/math/cms/LAP2015> was held in
Dubrovnik, September 21 - 25, 2015.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam