Tentative programme LAP 2015
Monday, 21/09/2015
| Vladimir Tasić | A Noncommutative Continuum: Brower and Weyl Revisited |
| Danko Ilik | Computational interpretations of the classical axiom of choice |
Tuesday, 22/09/2015
| Smile Markovski | Presentation of some algebraic structures via Bulean functions |
| Nebojša Ikodinović | Some applications of probabilistic first-order logics |
| Jovana Obradović | On the various definitions of cyclic operads |
| Tin Perkov | Finite model property of interpretability logics via filtrations |
| Tajana Ban Kirigin | A Rewriting Framework and Logic for Activities Subject to Regulations |
| Simona Samardjiska | The ARX structure of Pi Cipher |
| Jelena Čolić Oravec | Galois Connections in Clone Theory |
Wednesday, 23/09/2015
| Zvonimir Šikić | What is probability logic? |
| Gilles Barthe | Relational verification of probabilistic programs |
| Ioannis Kokkinis | Probabilistic Justification Logic |
Thursday, 24/09/2015
| Max Kanovich | Separation Logic |
| Andre Scedrov | Discrete vs. Dense Times in the Verification of Cyber-Physical Security Protocols Additional |
| Nenad Savić | A logic with upper and lower probability operators |
| Marija Boričić | A calculus of sequents with probability |
| Jovana Dedeić | Compensation Primitives as Adaptable Processes |
Friday, 25/09/2015
| Henk Barendregt | Conditions for pursuing research |
| Pierre Louis Curien | Sequential algorithms (old and new) |