posted by user: jreich || 6213 views || tracked by 18 users: [display]

iWIGP 2011 : International Workshop on Interactions, Games and Protocols

FacebookTwitterLinkedInGoogle

Link: http://react.cs.uni-saarland.de/iWIGP2011/
 
When Mar 27, 2011 - Mar 27, 2011
Where Saarbrücken
Submission Deadline Nov 28, 2010
Notification Due Jan 16, 2010
Final Version Due Feb 10, 2011
Categories    computer science   distributed systems
 

Call For Papers

*******************************************************************
* *
* -- CfP: Extended Deadline -- *
* *
* International Workshop on Interactions, Games and Protocols *
* (iWIGP 2011) *
* *
* 27 March 2011, Saarbrücken, Germany *
* *
* http://react.cs.uni-saarland.de/iWIGP2011/ *
* *
* Extended Deadline for submissions: 28 November 2010 *
* *
*******************************************************************

A satellite event of ETAPS 2011 (from 28th March 2011 to 1st April 2011) in Saarbrücken, Germany

Duration
--------
1 day, 27th March 2011

Content
-------
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

* 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
---------------
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

Contributions
-------------
All contributions have to be electronically submitted as PDF documents through easychair (http://www.easychair.org/conferences/?conf=iwigp2011) until October 31, 2010. They must be formated according to the guidelines of the EPTCS macro package (http://style.eptcs.org/) 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 2011 is required (http://www.etaps.org).

Program committee (in alphabetical order)
-----------------------------------------
* Krzysztof R. Apt (CWI and University of Amsterdam, The Netherlands),
* Roderick Bloem (Technische Universität Graz, Österreich),
* Gregor von Bochmann (University of Ottawa, Canada)
* Benedikt Bollig (CNRS, France)
* Bernd Finkbeiner, Co-Chair (Universität des Saarlandes, Deutschland),
* Erich Grädel (Rheinisch-Westfälische Technische Hochschule Aachen, Deutschland),
* Barbara Jobstmann (CNRS Grenoble, France),
* Barbara König (Universität Duisburg-Essen, Deutschland),
* Hans-Jörg Kreowski (Universität Bremen, Deutschland),
* Antonín Kucera (Masaryk University, Brno, Czech Republic),
* Kim G. Larsen (Aalborg University, Denmark),
* Martin Leucker (Technische Universität München, Deutschland),
* Jean-François Raskin (Université Libre de Bruxelles, Belgium),
* Johannes Reich, Chair (SAP AG, Deutschland),
* Markus Roggenbach (Swansea, Great Britain),
* Andreas Speck (Christian-Albrechts-Universität zu Kiel, Deutschland)
* Tristan Tomala (HEC Paris, France),
* Wieslaw Zielonka (Université Paris Diderot, France)

Contact
-------
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

Related Resources

ICNP 2024   International Conference on Network Protocols
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
Sensuality and Robots: An Aesthetic Appr 2024   Call for Papers - Sensuality and Robots: An Aesthetic Approach to Human-Robot Interactions
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
Philosophical Approaches to Games and Ga 2024   Call For Papers - Philosophical Approaches to Games and Gamification: Ethical, Aesthetic, Technological and Political Perspectives
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
PEMWN 2024   Performance Evaluation & Modeling in Wired and Wireless Networks
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
GamesandNLP 2024   Games and NLP 2024 Workshop
GAMNLP 2024   Games and NLP 2024