7th Conference

Logic and Applications 2018 (LAP 2018)

September 24-28, 2018, Dubrovnik, Croatia

The LAP 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;
- Model theory;
- Set theory;
- Type theory;
- Lambda calculus;
- 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.

LAP 2018 includes a satellite workshop Formal Reasoning and Semantics (FORMALS 2018), as a part of a research project supported by Croatian Science Foundation (UIP-2017-05-9219). The workshop call for papers can be found here.

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.
LAP 2013 was held in Dubrovnik, September 16 - 20, 2013.
LAP 2014 was held in Dubrovnik, September 22 - 26, 2014.
LAP 2015 was held in Dubrovnik, September 21 - 25, 2015.
LAP 2016 was held in Dubrovnik, September 19 - 23, 2016.
LAP 2017 was held in Dubrovnik, September 18 - 22, 2017.

Important Dates

Abstract Submission: June 1, 2018
Author Notification: June 25, 2018
Final version: July 5, 2018


Registration fee: 50 EUR.
It covers the booklet of abstracts. The registration fee is payable in cash upon arrival.


Authors should submit an abstract in LaTeX format, not exceeding three pages, to vlp@mi.sanu.ac.rs with the subject "LAP 2018". Template


LAP 2018 has received funding from Central European Initiative - CEI (grant RN 1202.018-18) which allows a limited number of grants (covering travel and accommodation costs) to PhD students or early stage researchers in all areas of mathematical logic and applications.

In accordance with the CEI rules, eligible are only grant applications from CEI countries: http://www.cei.int/node/53.

To be considered for a grant, please
- send a letter of application including your CV,
- ask your thesis supervisor to send a brief recommendation letter,
- submit an abstract, following the instructions available at the conference site.

Applications should be sent to e-mail: vlp@mi.sanu.ac.rs by the strict deadline of May 15, 2018.

List of participants
Programme in pdf

Booklet of abstracts in pdf.


IUC-Inter University Center Dubrovnik (see map)

Course directors