Our Sponsors
IWIGP 2011 - iWIGP 2011 : International Workshop on Interactions, Games and Protocols
View: 732
Website react.cs.uni-saarland.de/iWIGP2011 |
Edit Freely
Category IWIGP 2011
Deadline: October 31, 2010 | Date: March 27, 2011
Venue/Country: Saarbrücken, Germany
Updated: 2010-08-21 15:51:27 (GMT+9)
Call For Papers - CFP
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 computingAdresseesWe 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 dates2010-10-31 Submission of workshop contributions2010-12-13 Notification of acceptance/rejection of workshop contributions2011-01-16 Submission of print-ready contributions for the proceedings2011-03-27 Workshop iWIGPContributionsAll contributions have to be electronically submitted as PDF documents through easychair until October 31, 2010. They 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. A publication as EPTCS is planned. At least one author is expected to register for the workshop and to give a talk about the contribution.ParticipationFor participation at the workshop, registration at ETAPS 2011 is necessary.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 (Universität Saarbrücken, 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 (SAP, Deutschland),* Markus Roggenbach (Swansea, Great Britain),* Tristan Tomala (HEC Paris, France),* Wieslaw Zielonka (Université Paris Diderot, France)ContactJohannes ReichSAP AGDietmar-Hopp-Allee 1669190 Walldorf GermanyTel.: +49 (0)6227 743006Fax: +49 (0)6227 7834157E-Mail: johannes.reich[at]sap.comKeywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.