3rd Conference

Logic and Applications 2014 (LAP 2014)

September 22-26, 2014, 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 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.

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.

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

Tentative programme

The booklet of abstracts is available here

Venue

IUC-Inter University Center Dubrovnik

map

Course directors