Tentative programme LAP 2017
Monday, 18/09/2017
16:00 – 16:30 | Gathering |
16:30 – 17:30 | Silvia Ghilezan: Sound and complete subtyping on intersection and union types |
17:30 - 18:00 | Coffee break |
18:00 - 19:00 | Zvonko Iljazović, Lucija Validžić: Starlike neighbourhoods and computability |
Tuesday, 19/09/2017
10:00 – 11:00 | Zena M. Ariola: Sequent calculus as a programming language |
11:00 - 11:30 | Coffee break |
11:30 - 12:00 | Nenad Savić: Towards Relevant Justifications (ongoing work) |
12:00 - 12:30 | Angelina Ilić Stepić: A Probability Logic for Reasoning About Quantum Observations |
12:30 - 16:00 | |
16:00 - 17:00 | Luka Mikec, Tin Perkov, Mladen Vuković: Decidability and Complexity of Some Interpretability Logics |
17:00 - 17:30 | Coffee break |
17:30 - 18:00 | Simona Kašterović: Probabilistic reasoning with lambda terms(ongoing work) |
18:00 - 19:00 | LAP steering committee meeting |
Wednesday, 20/09/2017
10:00 – 11:00 | Dale Miller: A Proof Theory for Model Checking: An Abstract |
11:00 - 11:30 | Coffee break |
11:30 - 12:30 | Paola Glavan: Proving Properties of Peer-to-Peer Protocols using ASMs Formalism - An Overview |
12:30 - 16:00 | |
16:00 - 17:00 | Zvonimir Šikić: What is logical consequence |
17:00 - 17:30 | Coffee break |
17:30 - 18:00 | Tajana Ban Kirigin: Dense Time Multiset Rewriting Model in theVerification of Time-Sensitive Distributed Systems |
18:00 - 18:30 | Marcilio O. O. Lemos: On the Accuracy of Formal Verifcation of Selective Defenses for TDoS Attacks |
20:00 - 23:00 | Conference dinner |
Thursday, 21/09/2017
09:00 – 10:00 | Andre Scedrov: Lambek Calculus with Bracket Modalities and Subexponentials (slides #2) (slides #3) |
10:00 - 10:30 | Coffee break |
10:30 - 11:00 | Aleksandra Arsić: Secure channel coding scheme based on LDPC codes over the BEC |
11:00 – 11:30 | Dragiša Žunić: Standard classical logic as protocol for process communication |
11:30 - 12:00 | Dušan Gajić: On the Computational Complexity of the Discrete Pascal Transform |
12:00 - 12:30 | Round table discussion |
Free afternoon |
Friday, 22/09/2017
10:00 – 11:00 | Melanija Mitrović: Constructive Semigroups with Apartness: Foundations of the Order Theory |
11:00 - 11:30 | Marija Boričić: Deduction rules for probabilized formula |
11:30 - 12:00 | Dragan Doder: A probabilistic temporal logic with countable additive semantics |
12:00 - 12:30 | Coffee break |
Closing |