A satellite event of ETAPS 2011 in Saarbrücken, Germany (from 28th March 2011 to 1st April 2011)
[ Duration | Invited Speaker | Program | Content | Adressees | Important Dates | Contributions | Participation | Program Committee | Contact | Call for papers ]
1 day, 27th March 2011
| 9:00 - 10:30 | Session 1 |
| 9:25 - 9:30 | Welcome |
| 9:30 - 10:30 | Marielle Stoelinga (Invited Talk) |
| Linear and Branching System Metrics. | |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 12:30 | Session 2 |
| 11:00 - 12:00 | Viktor Kuncak (Invited Talk) |
| Invariant Inference for Many-Object Systems | |
| 12:00 - 12:30 | Christian von Essen and Barbara Jobstmann |
| Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives | |
| 12:30 - 14:00 | Lunch break |
| 14:00 - 16:00 | Session 3 |
| 14:00 - 15:00 | Kim Larsen (Invited Talk) |
| Playing Games with Timed I/O Automata | |
| 15:00 - 15:30 | Rüdiger Ehlers |
| Experimental aspects of synthesis | |
| 15:30 - 16:00 | Laurent Doyen, Thierry Massart and Mahsa Shirmohammadi |
| Synchronizing Objectives for Markov Decision Processes | |
| 16:00 - 16:30 | Coffee break |
| 16:30 - 17:30 | Session 4 |
| 16:30 - 17:00 | Klaus Schneider and Andreas Morgenstern |
| LTL Fragment for GR(1)-Synthesis | |
| 17:00 - 17:30 | Marcus Gelderie and Michael Holtmann |
| Memory Reduction via Delayed Simulation | |
This workshop aims at the interrelation between interactions, games and protocols. How does computer science deal with nondeterministic interactions where the actions a system takes are not (completely) determined by the interactions the system is involved in? In computer science, nondeterministic interactions are usually described by protocols. However, these interactions can also be viewed as games. As to be expected, games have become an increasingly important modeling tool for computer science where nondeterministic interactions are involved – from foundations in game semantics and reactive systems to applications in communication protocols and electronic business applications. The goal of this workshop is to bring researchers from industry and academia together and to explore how a better understanding of the interrelation between interactions, games and protocols leads to better-designed and more reliable nondeterministic interacting systems. Topics of interest include, but are not limited to
We invite scientific contributions which explore new aspects of the interrelation between interactions, games and protocols, both from a theoretical and a practical perspective. We encourage submissions that connect theory and practice.
2010-11-28 Submission of workshop contributions
2011-01-16 Notification of acceptance/rejection of workshop contributions
2011-02-10 Submission of print-ready contributions for the proceedings
2011-03-27 Workshop iWIGP
All contributions have to be electronically submitted as PDF documents through easychair until October 31, 2010. They must be formated according to the guidelines of the EPTCS macro package and may not exceed 15 pages. For publishing accepted contributions the LaTeX sources are necessary (see EPTCS info page).
The submissions will be refereed. The proceedings will be published as a volume of EPTCS. At least one author is expected to register for the workshop and to give a talk about the contribution.
For participation at the workshop, registration at ETAPS 2011 is necessary.
Johannes Reich
SAP AG
Dietmar-Hopp-Allee 16
69190 Walldorf Germany
Tel.: +49 (0)6227 743006
Fax: +49 (0)6227 7834157
E-Mail: johannes.reich[at]sap.com