5 / LOGIC AND APPLICATIONS 2017


18 – 23 September 2017   print this page

Conference organizers:

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

Thomas Studer, University of Bern, Switzerland


Conference description:

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;

- Model 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;

- Security.

Student sessions will be organized.

More about conference can be found here: http://imft.ftn.uns.ac.rs/math/cms/LAP