****************************************************************************

	  Call for Papers - Deadline extended to 4. December 2011

 International Workshop on Interactions, Games and Protocols (IWIGP2012)

		      http://react.cs.uni-sb.de/iWIGP2012

A workshop at ETAPS 2012 in Tallinn, Estonia (from 24 March to 1 April 2012)

****************************************************************************

1 day, 25 March 2012

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

* models for interactive protocols
* models for user interaction
* business applications like ERP, manufacturing systems, supply chain
management, etc.
* workflow
* game representations
* test and verification of interactive systems
* synthesis of control strategies
* relation between games and processes
* relation between protocols and processes
* parallel and distributed systems
* autonomic systems
* service modeling, collaboration and orchestration
* communication or interaction architectures
* process oriented architectures
* agent based computing
* context aware computing

Adressees
---------
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-12-04 Submission of workshop contributions - Extended Deadline!
2012-01-16 Notification of acceptance/rejection of workshop contributions
2012-03-25 Workshop iWIGP

Contributions
-------------
All contributions should be submitted as PDF documents through easychair
(http://www.easychair.org/conferences/?conf=iwigp2011) until 14 November 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 http://info.eptcs.org/).

The submissions will be refereed. The proceedings will be published as a volume
of EPTCS (http://www.eptcs.org/). At least one author is expected to register
for the workshop and to give a talk about the contribution.

Participation
-------------
For participation at the workshop, registration at ETAPS 2012 is necessary.

Program Committee (in alphabetical order)
-----------------------------------------
* Gregor von Bochmann (University of Ottawa, Canada)
* Benedikt Bollig (CNRS, France)
* Bernd Finkbeiner, Co-Chair (Universität des Saarlandes, Germany),
* Barbara Jobstmann (CNRS Grenoble, France),
* Hans-Jörg Kreowski (Universität Bremen, Germany),
* Antonín Kucera (Masaryk University, Brno, Czech Republic),
* Kim G. Larsen (Aalborg University, Denmark),
* Martin Leucker (Technische Universität München, Germany),
* Jean-François Raskin (Université Libre de Bruxelles, Belgium),
* Johannes Reich, Co-Chair (SAP, Germany),
* Andreas Roth (SAP, Germany)
* Markus Roggenbach (Swansea, Great Britain),

Contact
-------
Bernd Finkbeiner
Universität des Saarlandes
E-Mail: finkbeiner[at]cs.uni-saarland.de

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
--
Mailing-Liste: wi@aifb.uni-karlsruhe.de
Administrator: wi-admin@aifb.uni-karlsruhe.de
Konfiguration: https://www.lists.uni-karlsruhe.de/sympa/info/wi