Mathematics, Science and Technology Mathematics, Science and Technology

14 | LOGIC AND APPLICATION

Duration
24 Sep 2025 - 28 Sep 2025
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:
Tin Adlešić , University of Zagreb, Croatia
Tajana Ban Kirigin , University of Rijeka, Croatia
Péter Battyányi , University of Debrecen, Hungary
Sanda Bujačić Babić , University of Rijeka, Croatia
Vedran Čačić , University of Zagreb, Croatia
Matea Čelar , University of Zagreb, Croatia
Mariami Gamsakhurdia , Vienna University of Technology, Austria
Silvia Ghilezan , University of Novi Sad, Serbia
Simon Guilloud , Swiss Federal Institute of Technology Lausanne, Switzerland
Sebastijan Horvat , University of Zagreb, Croatia
Marko Horvat , University of Zagreb, Croatia
Zvonko Iljazović , University of Zagreb, Croatia
Gabriel Istrate , University of Bucharest, Romania
Goran Ivanković , University of Zagreb, Croatia
Matea Jelić , University of Split, Croatia
Sándor Jenei , University of Pecs, Hungary
Stepan Kuznetsov , Steklov Mathematical Institute, Moscow, Russia
Helena Marciuš , University of Zagreb, Croatia
Stipe Marić , University of Split, Croatia
Michael Moortgat , University of Utrecht, Netherlands
Luka Rak , University of Zagreb, Croatia
Andre Scedrov , University of Pennsylvania, Philadelphia, United States
Luke Serafin , Cornell University, United States
Teo Šestak , University of Zagreb, Croatia
Zvonimir Šikić , University of Rijeka, Croatia
Carolyn Talcott , SRI International, Menlo Park, United States
David Tarandek , University of Zagreb, Croatia
Patrik Vasung , University of Zagreb, Croatia
Maksim Vishnikin , Moscow State University, Russia
Attached documents
LAP2025_programme (1).pdf