International Workshop on Interactions, Games and Protocols (iWIGP2012)

ETAPS logo

A satellite event of ETAPS 2012 in Tallinn, Estonia (from 24 March to 1 April 2012)

[ Duration | Invited Speaker | Program | Content | Adressees | Important Dates | Contributions | Participation | Program Committee | Contact | Call for papers ]


1 day, 25 March 2012

Invited Speakers


09:00 - 10:30Session 1
09:00 - 09:45Yoshifumi Manabe and Tatsuaki Okamoto
A Cryptographic Moving-knife Cake-Cutting Protocol
09:45 - 10:30Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay and Marius Mikucionis
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach
10:30 - 11:00Coffee break
11:00 - 12:30Session 2
11:00 - 11:45Simon Busard and Charles Pecheur
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
11:45 - 12:30Swen Jacobs (Invited Talk)
SMT-based Reactive Synthesis
12:30 - 14:00Lunch break
14:00 - 15:30Session 3
14:00 - 14:45Johannes Reich
Processes, Roles and Their Interactions
15:00 - 15:30Barbara Jobstmann (Invited Talk)
Quantitative Verification and Synthesis

Workshop Content

This workshop aims at the interrelation between interactions, games and protocols. Games have become an increasingly important modeling tool – 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 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.

Important dates

2011-11-14 2011-12-04 Submission of workshop contributions
2012-01-16 Notification of acceptance/rejection of workshop contributions
2012-03-25 Workshop iWIGP


All contributions should be submitted as PDF documents through easychair until November 14, 2011. Submissions 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 2012 is necessary.

Program Committee (in alphabetical order)


Bernd Finkbeiner
Universität des Saarlandes
E-Mail: finkbeiner[at]

Johannes Reich
Dietmar-Hopp-Allee 16
69190 Walldorf Germany
Tel.: +49 (0)6227 743006
Fax: +49 (0)6227 7834157
E-Mail: johannes.reich[at]