Cristiano Calcagno (Imperial College) tba
Nachum Dershowitz (Tel Aviv University) Commutation and Constriction
Kousha Etessami (University of Edinburgh) Adding Recursion to Markov Chains, Markov Decision Processes, and Stochastic Gameskousha
Orna Grumberg (Technion) 3-Valued Abstraction in (Bounded) Model Checking for Hardware
Yoram Hirshfeld (Tel Aviv University) Process Algebras
Michael Huth (Imperial College) PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games
Orna Kupferman (Hebrew University) Reasoning about Online Algorithms with Weighted Automata
Ranko Lazic (University of Warwick) The covering and boundedness problems for branching vector addition systems
Luke Ong (Oxford University) TBA
Doron Peled ((Bar Ilan University) Priority Scheduling of Distributed Systems Based on Model Checking.
Joel Ouaknine (Oxford University) Time-Bounded Verification
Alexander Rabinovich (Tel Aviv University) The Extensions of the Church synthesis problem
Noam Rinetzky (Queen Mary University of London) Abstraction for Concurrent Objects
Ofer Strichman (Technion) Beyond Vacuity: Towards the Strongest Passing Formula
James Worrell (Oxford University) Reachability in Succinct and Parametric One-Counter Automata