Tentative programme LAP 2016
Monday, 19/09/2016
15:45 - 16:00 | Gathering |
16:00 – 17:00 | Zvonimir Šikić: The sure thing principle and Simpson paradox |
17:00 - 17:30 | Coffee break |
17:30 - 18:30 | Duško Pavlović: Logics of deceit and outsmarting (with pictures of computers) |
18:30 - 19:00 | Soumya Paul: Strategic reasoning in conversations under imperfect information |
Tuesday, 20/09/2016
10:00 – 10:30 | Mladen Vuković: Generalized Veltman models |
10:30 - 11:00 | Nebojša Ikodinović: Some Notes on Finite and Hyperfinite model theory |
11:00 - 11:30 | Coffee break |
11:30 - 12:00 | Jovana Obradović: Weak cyclic Cat-operads |
12:00 - 12:30 | Aleksandra Arsić: Experimental Evaluation of TMTO on Maxeler machine |
12:30 - 16:00 | |
16:00 - 16:30 | Tin Perkov: A simple method of proving logical constancy by consequence extraction |
16:30 - 17:00 | Tajana Ban Kirigin: Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems |
17:00 - 17:30 | Coffee break |
17:30 - 18:00 | Christian G. Fermüller: Interpreting Sequent Calculi as Client–Server Games |
18:00 - 18:30 | Alexander Kashev: Justification with Propositional Nominals |
18:30 - 19:00 | Dragan Doder: A Logic for Temporal Beliefs and Intentions-Completeness and Belief revision |
Wednesday, 21/09/2016
10:00 – 11:00 | Vivek Nigam: On subexponentials, focusing and modalities in concurrent systems |
11:00 - 11:30 | Coffee break |
11:30 - 12:30 | Stepan Kuznetsov: The Lambek Calculus with Unary Connectives |
12:30 - 13:00 | Discussion |
Thursday, 22/09/2016
10:00 – 11:00 | Sergei Kuznetsov: Algorithmic Knowledge Discovery with Lattices of Closed Descriptions |
11:00 - 11:30 | Coffee break |
11:30 - 12:30 | Andre Scedrov: Can we mitigate the attacks on Distance-Bounding Protocols by using challenge-response rounds repeatedly? |
12:30 - 16:00 | |
16:00 - 17:00 | Zvonko Iljazović: Computable points and local computability |
17:00 - 17:30 | Coffee break |
17:30 - 18:00 | Marija Boričić: Soundness and completeness of a sequent calculus with high probabilities |
18:00 - 18:30 | Nenad Savić: Probabilistic reasoning in type systems |
18:30 - 19:00 | Dragiša Žunić: Asterix calculus - classical computation in detail |
20:00 - 23:00 | Conference dinner |
Friday, 23/09/2016
10:00 – 10:30 | Diego Agustín Ambrossio: A Non-Monotonic Logic for Distributed Access Control |
10:30 - 11:00 | Dušan Gajić: Computational Efficiency of the GF and the RMF Transforms for Quaternary Logic Functions on CPUs and GPUs |
11:00 - 11:30 | Radomir Stanković: Remarks on Reversible Circuit Synthesis from Decision Diagrams |
11:30 - 12:00 | Coffee break |
12:00 | Round table discussion & Closing |