Programme of IWIGP at ETAPS 2011

Sunday, March 27

Room E1.3/15

09:25 - 10:30 SESSION 1

09.25: Welcome

09.30: Invited Talk: Linear and Branching System Metrics

Mariëlle Stoelinga (University of Twente, the Netherlands)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

11.00: Invited Talk: Invariant Inference for Many-Object Systems

Viktor Kuncak (École Polytechnique Fédérale de Lausanne, Suisse)

12.00: Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives

Christian von Essen and Barbara Jobstmann (CNRS Grenoble, France)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

14:00: Invited Talk: TBA

Kim Larsen (Aalborg University, Denmark)

15:00: Experimental aspects of synthesis

Rüdiger Ehlers (Saarland University, Germany)

15:30: Synchronizing Objectives for Markov Decision Processes

Laurent Doyen (LSV, ENS Cachan & CNRS, France), Thierry Massart and Mahsa Shirmohammadi (Université Libre de Bruxelles, Belgium)

16:00 - 16:30 Coffee

16:30 - 17:30 SESSION 4

16.30: LTL Fragment for GR(1)-Synthesis

Klaus Schneider and Andreas Morgenstern (University of Kaiserslautern, Germany)

17.00: Memory Reduction via Delayed Simulation

Marcus Gelderie and Michael Holtmann (RWTH Aachen University, Germany)

 
HOME PAGE:   http://react.cs.uni-saarland.de/iWIGP2011/