Inter-University Centre Dubrovnik

An independent international centre for advanced studies

10 | LOGIC AND APPLICATIONS - LAP 2015

Duration
21 Sep 2015 - 25 Sep 2015
Language
English
Course 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
Course 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.

Course lecturers:
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
Thomas Studer, University of Bern, Switzerland
Mladen Vuković, University of Zagreb, Croatia
Pierre Lescanne, Ecole Normale Superieure Lyon, France
Jelena Ivetić, University of Novi Sad, Serbia
Gilles Barthe, IMDEA Software Institution, Spain
Vladimir Tasic, University of New Brunswick, Canada
Ivana Markovska, St. Kliement Ohridski University, Republic of North Macedonia
Jovana Obradović, University Paris 7 - Paris Diderot, France
Jelena Čolić Oravec, University of Novi Sad, Serbia
Jovana Dedeić, University of Novi Sad, Serbia
Piere-Louis Curien, University Paris 7 - Paris Diderot, France
Ioamis Kokkinis, University of Bern, Switzerland
Nenad Savić, University of Bern, Switzerland
Tin Perkov, University of Zagreb, Croatia
Simona Samardjiska, University of Skopje, Republic of North Macedonia
Nebojša Ikodinović, University of Belgrade, Serbia
Ante Đerek, University of Zagreb, Croatia
Marija Boričić, University of Belgrade, Serbia