4 / LOGIC AND APPLICATION - LAP 2014


22 – 26 September 2014   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


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: http://imft.ftn.uns.ac.rs/math/cms/LAP2015


Conference lecturers:

Dragan Doder, University of Belgrade, Serbia

Silvia Ghilezan , University of Novi Sad, Serbia

Jelena Ivetić, University of Novi Sad, Serbia

Tajana Ban Kirigin, University of Rijeka, Croatia

Zvonimir Šikić, University of Zagreb, Croatia

Tin Perkov, University of Zagreb, Croatia

Darko Biljaković, University of Zagreb, Croatia

Mladen Vuković, University of Zagreb, Croatia

Dieter Spreen, University of Siegen, Germany

Zoran Ognjanović, Mathematical Institute SANU, Belgrade, Serbia

Thomas Studer, University of Bern, Switzerland

Nenad Savić, University of Bern, Serbia

Pierre Lescanne, Ecole Normale Superieure Lyon, France

Sabina Frittella, Aix - Marseille University, France

Jose Martinez Fernandez, University of Barcelona, Spain

Andre Scedrov, University of Pennsylvania, Philadelphia, United States