Mathematics, Science and Technology Mathematics, Science and Technology

15 | LOGIC AND APPLICATION

Duration
23 Sep 2026 - 27 Sep 2026
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.

More info can be found on the official web page.

Conference lecturers:
Branka Arapović , University of Novi Sad, Serbia
Tajana Ban Kirigin , University of Rijeka, Croatia
Péter Battyányi , University of Debrecen, Hungary
Sanda Bujačić Babić , University of Rijeka, Croatia
Peter Csaba Ölveczky , University of Oslo, Norway
Uli Fahrenberg , Paris-Saclay University, France
Mariami Gamsakhurdia , Vienna University of Technology, Austria
Silvia Ghilezan , University of Novi Sad, Serbia
Valentina Harizanov , The George Washington University, United States
Sebastijan Horvat , University of Zagreb, Croatia
Zvonko Iljazović , University of Zagreb, Croatia
Sándor Jenei , Eszterházy Károly Catholic University, Hungary
Anela Lolić , Technical University of Vienna, Austria
Helena Marciuš , University of Zagreb, Croatia
Marcel Maretić , University of Zagreb, Croatia
Jose Meseguer , University of Illinois at Urbana-Champaign, United States
Matej Mihelčić , University of Zagreb, Croatia
Jovana Obradović , Mathematical Institute SANU, Belgrade, Serbia
Paaras Padhiar , University of Birmingham, United Kingdom
Bojan Pažek , Josip Juraj Strossmayer University of Osijek, Croatia
Nikola Pražić , University of Zagreb, Croatia
Jiří Raclavský , Masaryk University, Czech Republic
Luka Rak , University of Zagreb, Croatia
Luigi Santocanale , Aix-Marseille Université, France
Andre Scedrov , University of Pennsylvania, Philadelphia, United States
Teo Šestak , University of Zagreb, Croatia
Borja Sierra Miranda , University of Bern, Switzerland
Zvonimir Šikić , University of Rijeka, Croatia
Lutz Straßburger , INRIA - French National Institute for Research in Computer Science and Automation, Paris, France
Thomas Studer , University of Bern, Switzerland
Carolyn Talcott , SRI International, Menlo Park, United States
Emilio Tuosto , Gran Sasso Science Institute, Italy
Lucija Validžić , University of Zagreb, Croatia
Anastazia Žunić , Mathematical Institute SANU, Belgrade, Serbia
Attached documents
LAP2026_programme.pdf