| Tin Adlešić, V. Čačić | |
| Matthias Baaz | Globally Sound Analytic Calculi for Quantifier Macros |
| M. Batanin, M. Markl, Jovana Obradović | Minimal models for graphs-related operadic algebras |
| Vedran Čačić | λsz:s(s(sz)) topics |
| Cezary Cieslinski | On the principle of disjunctive correctness |
| Šejla Dautović, D. Doder, Z. Ognjanović | Logics for Reasoning about Knowledge and Conditional Probability |
| V. Čačić, Marko Horvat, Z. Iljazović | Computable approximations of semicomputable chainable continua |
| S. Ghilezan, S. Kašterović, L. Liquori, Bojan Marinković, Z. Ognjanović, T. Stefanović | Federating Digital Contact Tracing using Structured Overlay Networks |
| Sebastijan Horvat, T. Perkov, M. Vukovic | n-bisimulation for generalised Veltman semantics |
| Z. Iljazović, Lucija Validžić | Computable sequences and isometries |
| Simona Kašterović, S. Ghilezan | Towards Logic of Combinatory Logic |
| Z. Ognjanović, Angelina Ilić Stepić, A. Perović | A Probabilistic Temporal Epistemic Logic |
| Petar Paradžik, Ante Đerek | Restricted Observational Equivalence |
| Tamara Stefanović, S. Ghilezan | Differential Privacy and Applications |
| Andre Scedrov | Language Models and Relational Models of the Multiplicative-Additive Lambek Calculus |
| Zvonimir Šikić | Kneale’s natural deductions as a notational variant of Beth’s tableaus |