4 / LOGIC AND APPLICATIONS - LAP 2015

21 – 25 September 2015        Send to printer


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


Conference description:

The conference brings together researchers from various fields of logic with

applications in computer science (and offers 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: imft.ftn.uns.ac.rs/math/cms/LAP2015


Conference lecturers

Silvia Ghilezan , University of Novi Sad, Serbia
Jelena Ivetić, University of Novi Sad, Serbia
Zvonimir Šikić, University of Zagreb, Croatia
Mladen Vuković, 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
Pierre Lescanne, Ecole Normale Superieur Lyon, France


Other details