Inter-University Centre Dubrovnik

An independent international centre for advanced studies

Mathematics, Science and Technology Mathematics, Science and Technology

10 | LOGIC AND APPLICATION 2019

Duration
23 Sep 2019 - 27 Sep 2019
Language
English
Status
REGULAR
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
Thomas Studer, University of Bern, Switzerland
Course 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;

  • Set theory;

  • Type theory;

  • Lambda calculus;

  • 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.

Official web page of the conference.

Attached documents
Programme