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;
-Process algebras and calculi;
-Systems of reasoning in the presence of incomplete, imprecise and/or contradictory information;
-Interactive theorem provers.
The conference web page with more detailed information can be found here: http://imft.ftn.uns.ac.rs/math/cms/LAP2015