Wednesday, February 25

  • Moshe Vardi (Houston): The Rise and fall of Linear Temporal Logic
  • Bernd Finkbeiner (Saarbr├╝cken): Distributed Synthesis

Thursday, February 26

  • Jean-Francois Raskin (Brussels): Variations on the stochastic shortest path problem
  • Azadeh Farzan (Toronto): Succinct Proofs of Concurrent Programs

Friday, February 27

  • Eric Bodden (Darmstadt): SPLlift: statically analyzing software product lines in minutes instead of years
  • Joel Ouaknine (Oxford): Termination of Linear Loops: Algorithmic Advances and Challenges