Published: 20th February 2012
DOI: 10.4204/EPTCS.78
ISSN: 2075-2180


Proceedings Second
International Workshop on Interactions, Games and Protocols
Tallinn, Estonia, 25th March 2012

Edited by: Johannes Reich and Bernd Finkbeiner

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach
Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay and Marius Mikučionis
A Cryptographic Moving-Knife Cake-Cutting Protocol
Yoshifumi Manabe and Tatsuaki Okamoto
Processes, Roles and Their Interactions
Johannes Reich
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
Simon Busard and Charles Pecheur


This volume contains the proceedings of the second International Workshop on Interactions, Games and Protocols (IWIGP 2012). The workshop was held in Tallinn on March 25, 2012, as a satellite event of ETAPS 2012. The previous workshop took place in Saarbrücken as part of ETAPS 2011.

The goal of this workshop was 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. We invited scientific contributions both from a theoretical and a practical perspective.

The program consisted of two invited talks and four refereed papers, selected by a strong program committee of international reputation. The refereed papers are contained in this volume.

Special thanks go to the invited speakers

for presenting at the workshop. We also thank the members of the program committee for their excellent work in putting together an exciting workshop programme. In alphabetical order:

We thank the organizers of ETAPS 2012 for their support and the EPTCS editorial board for publishing the proceedings. And, last but not least, we thank all participants for attending the IWIGP 2012 workshop.

Bernd Finkbeiner and Johannes Reich