LAP 2020 Presentations:
| Matthaios Bournazos | Beyond Geometric Validity: Two versions of relative validity |
| Vedran Čačić | Universal frames for GL and IL |
| Šejla Dautović, D. Doder, Z. Ognjanović | Logical formalization of Bayesian concepts of confirmation |
| S. Negri, Eugenio Orlandelli | Constructive cut elimination in geometric logic |
| S. Negri, Edi Pavlovic | A proof-theoretic approach to formal epistemology |
| Dusko Pavlovic | Recent advances in Logics of Lyingy |
| Simona Kašterović, S. Ghilezan | Kripke-style semantics for Full Simply Typed Lambda Calculus |
| Andre Scedrov | Soft Subexponentials and Multiplexing |
| Zvonimir Šikić | Rules of thumb for positive and negative test results |
| Tamara Stefanović, S. Ghilezan | Preserving privacy in Caler ID applications |
| Thomas Studer | A modal logic formalization of controlled query evaluation |