-------- Original-Nachricht -------- Betreff: [WI] CfP: 2nd International Workshop on Interactions, Games and Protocol (IWIGP2012) Datum: Wed, 12 Oct 2011 22:42:02 +0200 Von: Johannes Reich johannes.reich@sap.com An: wi@lists.uni-karlsruhe.de
****************************************************************************
2nd Call for Papers
2nd 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-11-14 Submission of workshop contributions 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