Inter-University Centre Dubrovnik

An independent international centre for advanced studies

Mathematics, Science and Technology Mathematics, Science and Technology

3 | LOGIC AND APPLICATIONS

Duration
21 Sep 2020 - 23 Sep 2020
Language
English
Status
REGULAR - BLENDED
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 .

 

Video Lectures 2020:

 Luka Mikec, Joost J. Joosten,  Mladen Vuković - ''On ILWR Frames'':

 Sebastijan Horvat - ''Smart labels in proofs of completeness of interpretability logics'':

Vedran Čačić - ''Universal frames for GL and IL'':

Melanija Mitrović, Mahouton Norbert Hounkonnou, Marian Alexandru Baroni - ''Constructive HMR order theory for semigroups with apartness'':

 

Presentations 2020:

Matthaios Bournazos - ''Beyond Geometric Validity: Two versions of relative validity''

Vedran Čačić - ''Universal frames for GL and IL''

Šejla Dautović, D. Doder, Z. Ognjanović - ''Logical formalization of Bayesian concepts of confirmation''

Negri, Eugenio Orlandelli - ''Constructive cut elimination in geometric logic''

Negri, Edi Pavlovic - ''A proof-theoretic approach to formal epistemology''

Dusko Pavlovic - Recent advances in Logics of Lyingy

Simona Kašterović, S. Ghilezan - ''Kripke-style semantics for Full Simply Typed Lambda Calculus''

Andre Scedrov - ''Soft Subexponentials and Multiplexing''

Zvonimir Šikić - ''Rules of thumb for positive and negative test results''

Conference lecturers:
Slobodan Jelić, University of Osijek, Croatia
Luka Mikec, University of Zagreb, Croatia
Tajana Ban Kirigin, University of Rijeka, Croatia
Zvonimir Šikić, University of Zagreb, Croatia
Silvia Ghilezan , University of Novi Sad, Serbia
Thomas Studer, University of Bern, Switzerland
Andre Scedrov, University of Pennsylvania, Philadelphia, United States
Zoran Ognjanović, Mathematical Institute SANU, Belgrade, Serbia
Eugenio Orlandelli, University of Helsinki, Finland
Sara Negri, University of Genoa, Italy
Edi Pavlović, University of Helsinki, Finland
Peter Schuster, University of Verona, Italy
Daniel Wessel, University of Verona, Italy
Mateo Tessi, Scuola Normale Superiore, Pisa, Italy
Matthaios Bournazos, National Technical University of Athens, Greece
Vedran Čačić, University of Zagreb, Croatia
Šejla Dautović, Mathematical Institute SANU, Belgrade, Serbia
Dragan Doder, University of Utrecht, Netherlands
Dusko Pavlovic, University of Hawaii at Manoe, United States
Melanija Mitrović, University of Niš, Serbia
Simona Kašterović, University of Novi Sad, Serbia
Tamara Stefanović, Mathematical Institute SANU, Belgrade, Serbia
Mladen Vuković, University of Zagreb, Croatia
Aslanbek Naziev, Ryazan State University, Russia
Vivek Nigam, Federal University of Paraíba, Brazil
Benedikt Perak, University of Rijeka, Croatia
Pavle Subotić, N/A, N/A
Mahouton Norbert Hounkonnou, University of Abomey-Calavi, Benin
Sebastijan Horvat, University of Zagreb, Croatia
Marcel Maretić, University of Zagreb, Croatia
Aleksandar Hatzivelkos, University of Applied Sciences Velika Gorica, Croatia
Ludovica Conti, University of Pavia, Italy