Inter-University Centre Dubrovnik

An independent international centre for advanced studies

14 | LOGIC AND APPLICATIONS - LAP 2014

Duration
22 Sep 2014 - 26 Sep 2014
Language
English
Course directors :
Zvonimir Šikić , University of Zagreb, Croatia
Silvia Ghilezan , University of Novi Sad, Serbia
Zoran Ognjanović , Mathematical Institute SANU, Belgrade, Serbia
Andre Scedrov , University of Pennsylvania, Philadelphia, United States
Course description:

The conferemce brigs together researches from various fields of logicwith applications in computer science (and offer courses) on topics which 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.

The conference web page with more detailed information can be found here: http://imft.ftn.uns.ac.rs/math/cms/LAP2015