# 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 |