Inter-University Centre Dubrovnik

An independent international centre for advanced studies

Mathematics, Science and Technology Mathematics, Science and Technology

19 | LOGIC AND APPLICATIONS 2023

Duration
25 Sep 2023 - 30 Sep 2023
Language
English
Status
REGULAR
Conference directors :
Zvonimir Šikić , University of Rijeka, 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 LAP 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 and Privacy.

Student sessions will be organized.

Conference lecturers:
Tin Adlešić , University of Zagreb, Croatia
Péter Battyányi , University of Debrecen, Hungary
Sierra - Miranda Borja , University of Bern, Switzerland
Vedran Čačić , University of Zagreb, Croatia
Armand Feuilleaubois , University of Bern, Switzerland
Silvia Ghilezan , University of Novi Sad, Serbia
Sebastijan Horvat , University of Zagreb, Croatia
Marko Horvat , University of Zagreb, Croatia
Adrian Satja Kurdija , University of Zagreb, Croatia
Stipe Marić , University of Split, Croatia
Matej Mihelčić , University of Zagreb, Croatia
Jovana Obradović , Institute of the Serbian Academy of Sciences and Arts (MISASA), Serbia
Jiri Raclavsky , Masaryk University, Brno, Czech Republic
Andre Scedrov , University of Pennsylvania, Philadelphia, United States
Tamara Stefanović , University of Novi Sad, Serbia
Thomas Studer , University of Bern, Switzerland
Carolyn Talcott , SRI International, Menlo Park, United States