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