Inter-University Centre Dubrovnik

An independent international centre for advanced studies

Behavioural studies, Society and Religion Behavioural studies, Society and Religion
Media, Arts, Culture and History Media, Arts, Culture and History

5 | LOGIC AND APPLICATIONS 2017

Duration
18 Sep 2017 - 23 Sep 2017
Language
English
Status
REGULAR
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
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

Attached documents
Programme