Inter-University Centre Dubrovnik

An independent international centre for advanced studies

Mathematics, Science and Technology Mathematics, Science and Technology

| LOGIC AND APPLICATIONS

Duration
21 Sep 2020 - 25 Sep 2020
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
Thomas Studer, University of Bern, Switzerland
Conference description:

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 and Privacy.

Official web page of the conference.

More about previous programmes on this page .

APPLY