Inter-University Centre Dubrovnik

An independent international centre for advanced studies

Mathematics, Science and Technology Mathematics, Science and Technology

7 | LOGIC AND APPLICATION 2019

Duration
23 Sep 2019 - 27 Sep 2019
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;

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

More about previous programmes on this page.

Conference lecturers:
Zvonko Iljazović, University of Zagreb, Croatia
Silvia Ghilezan , University of Novi Sad, Serbia
Branimir Stojanović, University of Zagreb, Croatia
Stepan Kuznetsov, Steklov Mathematical Institute, Moscow, Russia
Beniamino Accattou, INRIA - French National Institute for computer science and applied mathematics, Paris, France
Nenad Savić, University of Bern, Switzerland
Thomas Studer, University of Bern, Switzerland
Andre Scedrov, University of Pennsylvania, Philadelphia, United States
Marko Horvat, University of Zagreb, Croatia
Vedran Čačić, University of Zagreb, Croatia
Melanija Mitrović, University of Niš, Serbia
Zoran Ognjanović, Mathematical Institute SANU, Belgrade, Serbia
Simona Kašterović, University of Novi Sad, Serbia
Jovana Obradović, University Paris 7 - Paris Diderot, France
Mladen Vuković, University of Zagreb, Croatia
Vladimir Tasic, University of New Brunswick, Canada
Luka Matijevic, Mathematical Institute SANU, Belgrade, Serbia
Zvonimir Šikić, University of Zagreb, Croatia
Dragan Doder, University of Belgrade, Serbia