Duration
22 Sep 2014 - 26 Sep 2014
An independent international centre for advanced studies
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