Inter-University Centre Dubrovnik

An independent international centre for advanced studies

4 | LOGIC AND APPLICATION - LAP 2014

Duration
22 Sep 2014 - 26 Sep 2014
Language
English
Conference directors:
Zvonimir Šikić, University of Zagreb, Croatia
Andre Scedrov, University of Pennsylvania, Philadelphia, United States
Silvia Ghilezan , University of Novi Sad, Serbia
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:
Zvonimir Šikić, University of Zagreb, Croatia
Silvia Ghilezan , University of Novi Sad, Serbia
Zoran Ognjanović, Mathematical Institute SANU, Belgrade, Serbia
Dieter Spreen, University of Siegen, Germany
Thomas Studer, University of Bern, Switzerland
Tin Perkov, University of Zagreb, Croatia
Darko Biljaković, University of Zagreb, Croatia
Mladen Vuković, University of Zagreb, Croatia
Tajana Ban Kirigin, University of Rijeka, Croatia
Nenad Savić, University of Bern, Switzerland
Dragan Doder, University of Belgrade, Serbia
Pierre Lescanne, Ecole Normale Superieure Lyon, France
Jelena Ivetić, University of Novi Sad, Serbia
Sabina Frittella, Aix - Marseille University, France
Jose Martinez Fernandez, University of Barcelona, Spain
Andre Scedrov, University of Pennsylvania, Philadelphia, United States