Program

  • 8:00 Registration opens
  • 9:00 Parosh Abdullah: Timed Extensions of Infinite State Spaces (invited talk)
  • 10:00 J.Hölzl, T.Nipkow: Interactive verification of Markov chains: Two distributed protocol case studies
  • 10:30 Coffee break
  • 11:00 Boudewijn Haverkort: Reinventing Formal Methods: From Boolean-Correctness to Real-Correctness (invited talk)
  • 12:00 K.G.Larsen, R.Mardare, C.Thrane: Parameterized Metatheory for Continuous Markovian Logic
  • 12:30 Lunch
  • 14:00 Goran Frehse: Scalable Set Computations in SpaceEx (invited talk)
  • 15:00 H.Mao, Y.Chen, M.Jäger, T.D.Nielsen, K.G.Larsen, B.Nielsen: Learning Markov Decision Processes for Model Checking
  • 15:30 Coffee break
  • 16:00 Olivier Serre: Qualitative Tree Languages (invited talk)
  • 17:00 I.Gazeau, D.Miller, C.Palamidessi: Non-local robustness analysis via rewriting techniques
  • 17:30 Workshop ends