Duration
20 Sep 2021 - 24 Sep 2021
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
Video lectures 2021:
Zvonimir Šikić - Kneale’s Developments as Beth’s Tableaus
Giulio Fellin, Sara Negri, Eugenio Orlandelli - Glivenko Classes and Constructive Cut Elimination in Infinitary Logic
Michał J. Gajda - Consistent Ultrafinitist Logic
Simona Kašterović, Silvia Ghilezan - Towards Logic of Combinatory Logic
Edi Pavlović, Norbert Gratz - Proof Theory of Free Logics
Cezary Cieśliński - On the Principle of Disjunctive Correctness
Jiří Raclavský, Petr Kuchyňka - Natural Deduction for Partial Type Theory with Evaluation Terms
Matthias Baaz - Globally Sound Analytic Calculi for Quantifier Macros
Vedran Čačić, Marko Horvat, Zvonko Iljazović - Computable Approximations of Semicomputable Chainable
Tajana Ban Kirigin, Sanda Bujačić Babić, Benedikt Perak - Building a Sentiment Dictionary for Croatian
Tajana Ban Kirigin, Sanda Bujačić Babić, Benedikt Perak - Sentiment Potential Analysis
Yaroslav Petrukhin - Normalisation for some Infectious Logics with Non standard Disjunction Elimination Rules
Jiří Raclavský - The Rule of Existential Generalisation, Its Derivability and Formal Semantics
Sebastijan Horvat - Bisimulation Games for (Generalized) Veltman Semantics
Duško Pavlović - Solution of Lambek's Problem A Construction of Dedekind MacNeille type Bicompletion
Sebastijan Horvat, Tin Perkov, Mladen Vuković - N bisimulations for Generalised Veltman Semantics
Musab A AlTurki, Tajana Ban Kirigin, Max Kanovich, Vivek Nigam, Andre Scedrov, Carolyn Talcott - Periodic Systems: Safety, Security, and Complexity
Matej Mihelčić - Redescription Mining