Mathematics, Science and Technology Mathematics, Science and Technology

19 | LOGIC AND APPLICATIONS

Duration
23 Sep 2024 - 27 Sep 2024
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
Tajana Ban Kirigin , University of Rijeka, Croatia
Péter Battyányi , University of Debrecen, Hungary
Andrej Bauer , University of Ljubljana, Slovenia
Sanda Bujačić Babić , University of Rijeka, Croatia
Vedran Čačić , University of Zagreb, Croatia
Isabela Dramnesc , West University of Timisoara, Romania
Silvia Ghilezan , University of Novi Sad, Serbia
Valentina Harizanov , The George Washington University, United States
Marko Horvat , University of Zagreb, Croatia
Adrian Satja Kurdija , University of Zagreb, Croatia
Anela Lolić , Technical University of Vienna, Austria
Matej Mihelčić , University of Zagreb, Croatia
Mikheil Rukhaia , Tbilisi State University, Georgia
Andre Scedrov , University of Pennsylvania, Philadelphia, United States
Teo Šestak , University of Zagreb, Croatia
Zvonimir Šikić , University of Rijeka, Croatia
Sorin Stratulat , University of Lorraine, France
Thomas Studer , University of Bern, Switzerland
Carolyn Talcott , SRI International, Menlo Park, United States
Vladimir Tasić , University of New Brunswick, Canada
Henry Towsner , University of Pennsylvania, Philadelphia, United States
Karol Wapniarski , Adam Mickiewicz University, Poznan, Poland
Dag Westerstahl , Tsinghua University Beijing, China
Attached documents
LAP2024_Book_of_abstracts.pdf
LAP2024_programme.pdf