Inter-University Centre Dubrovnik

An independent international centre for advanced studies

Mathematics, Science and Technology Mathematics, Science and Technology

4 | LOGIC AND APPLICATIONS - LAP 2021

Duration
20 Sep 2021 - 24 Sep 2021
Language
English
Status
REGULAR
Conference directors:
Zvonimir Šikić, University of Zagreb, 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 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;
- 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.

Important Dates:
Abstract Submission: June 15, 2021
Author Notification: July 1, 2021
Final version: July 8, 2021

Submission:
Authors should submit an abstract in LaTeX format, not exceeding three pages, to vlp@mi.sanu.ac.rs with the subject "LAP 2021".

* Student sessions will be organized.

More about previous programs can be found on the official conference website

 

 

Conference lecturers:
Professor Andre Scedrov, University of Pennsylvania, Philadelphia, United States
Benedikt Perak, University of Rijeka, Croatia
Jovana Obradović, Mathematical Institute SANU, Belgrade, Serbia
Matej Mihelčić, University of Zagreb, Croatia
Marcel Maretić, University of Zagreb, Croatia
Aleksandar Hatzivelkos, University of Applied Sciences Velika Gorica, Croatia
Vivek Nigam, Huawei's European Research Centre (Huawei ERC) Munich, Germany
Thomas Studer, University of Bern, Switzerland
Zvonimir Šikić, University of Zagreb, Croatia
Silvia Ghilezan, University of Novi Sad, Serbia
Simona Kašterović, University of Novi Sad, Serbia
Marko Horvat, University of Zagreb, Croatia
Matthias Baaz, Vienna University of Technology, Austria
Tin Adlešić, University of Zagreb, Croatia
Jiri Raclavsky, Masaryk University, Brno, Czech Republic
David Benjamin Lehnherr, University of Bern, Switzerland
Petar Paradžik, University of Zagreb, Croatia
Sanda Bujačić Babić, University of Rijeka, Croatia
Tajana Ban Kirigin, University of Rijeka, Croatia
Sebastijan Horvat, University of Zagreb, Croatia
Edi Pavlović, Ludwig Maximilians University of Munich, Germany
Šejla Dautović, Mathematical Institute SANU, Belgrade, Serbia
Giulio Fellin, University of Verona, Italy
Mateo Tessi, Scuola Normale Superiore, Pisa, Italy
Eugenio Orlandelli, University of Bologna, Italy
Tamara Stefanović, University of Novi Sad, Serbia
Andre Scedrov, University of Pennsylvania, Philadelphia, United States
Vedran Čačić, University of Zagreb, Croatia
Peter Schuster, University of Verona, Italy
Bojan Marinković, Mathematical Institute SANU, Belgrade, Serbia
Dusko Pavlovic, University of Hawaii at Manoe, United States
Luka Mikec, University of Zagreb, Croatia
Lucija Validžić, University of Zagreb, Croatia
Michal J. Gajda, Migamake Pte Ltd, Singapore
APPLY
Attached documents
2021_LAP_FORMALS_BoA.pdf