14 / LOGIC AND APPLICATIONS - LAP 2014

22 – 26 September 2014        Send to printer


Course directors

Silvia Ghilezan , University of Novi Sad, Serbia
Zvonimir Šikić, University of Zagreb, Croatia
Andre Scedrov, University of Pennsylvania, Philadelphia, United States
Zoran Ognjanović, Mathematical Institute SANU, Belgrade, Serbia


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


Other details