[TYPES/announce] Call for Papers: ICGT 2010 -- Abstract submission: 9 Apr '10
Eduardo Zambon
zambon at cs.utwente.nl
Mon Nov 30 09:51:00 EST 2009
[Our apologies for multiple receptions of this message.]
--------------------------------------------------------------------------------
5th International Conference on Graph Transformation (ICGT 2010)
University of Twente, Enschede, The Netherlands
29 September - 1 October 2010
----------------------------------------------
Call for Papers
The 5th International Conference on Graph Transformation (ICGT 2010) will be
held at the University of Twente in Enschede (The Netherlands) in the last week
of September 2010. It continues the line of conferences previously held in
Barcelona (Spain) in 2002, Rome (Italy) in 2004, Natal (Brazil) in 2006 and
Leicester (UK) in 2008, as well as a series of six International Workshops on
Graph Transformation with Applications in Computer Science between 1978 and
1998. The conference takes place under the auspices of EATCS, EASST, and IFIP
WG 1.3. Awards will be given by EATCS and EASST for the best theoretical and
application-oriented papers. Proceedings are planned with Springer's Lecture
Notes in Computer Science series.
ICGT 2010 will be colocated with the SPIN 2010 workshop on Software Model
Checking, and will also host several satellite events.
Invited Speakers
================
We are pleased to announce the following invited speakers:
- Javier Esparza, University of Munich (joint keynote speaker with SPIN 2010)
- Krzysztof Czarnecki, University of Waterloo
- Christoph Brandt, University of Luxembourg
Scope
=====
Graphs are among the simplest and most universal models for a variety of
systems, not just in computer science, but throughout engineering and the life
sciences. When systems evolve we are interested in the way they change, to
predict, support, or react to their evolution. Graph transformation combines
the idea of graphs as a universal modelling paradigm with a rule-based approach
to specify evolution. The area is concerned with both the theory of graph
transformation and their application to a variety of domains.
The conference aims at bringing together researchers and practitioners
interested in the foundations and application of graph transformation to a
variety of areas. Topics of interest include, but are not limited to
* Foundations and theory of
o General models of graph transformation
o High-level and adhesive replacement systems
o Node-, edge-, and hyperedge replacement grammars
o Parallel, concurrent, and distributed graph transformation
o Term graph rewriting
o Hierarchical graphs and decompositions of graphs
o Graph theoretical properties of graph languages
o Geometrical and topological aspects of graph transformation
o Automata on graphs and parsing of graph languages
o Analysis and verification of graph transformation systems
o Structuring and modularization concepts for transformation systems
o Graph transformation and Petri nets
* Languages, tool support and applications in
o Software architecture
o Workflows and business processes
o Software quality, testing and evolution
o Access control and security models
o Aspect-oriented development
o Model-driven development, especially model transformations
o Domain-specific languages
o Implementation of programming languages
o Bioinformatics and system biology
o Natural computing
o Image generation and pattern recognition techniques
o Massively parallel computing
o Self-adaptive systems and ubiquitous computing
o Service-oriented applications and semantic web
Paper submission is at http://www.easychair.org/conferences/?conf=icgt2010.
Submitted papers may not exceed fifteen (15) pages using Springer's LNCS
format, and should contain original research. Simultaneous submission to other
conferences with proceedings or submission of material that has already been
published elsewhere is not allowed.
Selected papers will be invited for submission to special issues of Fundamenta
Informaticae (for theoretically oriented papers) and Software and Systems
Modeling (for application-oriented papers).
Important Dates:
================
Abstract submission: 9 April 2010
Full paper submission: 16 April 2010
Notification of acceptance: 7 June 2010
Final version due: 28 June 2010
Main conference: 29 September - 1 October 2010
Satellite events: 28 September and 2 October 2010
Venue:
======
The University of Twente is located in a beautiful green area between the
cities of Hengelo and Enschede, in the eastern part of The Netherlands. It has
good connections to the airports of Schiphol (Amsterdam, The Netherlands) and
Münster (Germany). The main town, Enschede, lies directly on the Dutch/German
border, and it is a characteristic, modern and lively university town. Elegant
historic buildings in the town and surrounding area are evocative of Enschede's
rich textile past. Some of the town's most notable monuments are the beautiful
town hall, several beautiful churches and a unique synagogue.
The University of Twente is an entrepreneurial research university. It was
founded in 1961 and offers education and research in areas ranging from public
policy studies and applied physics to biomedical technology. The UT is the
Netherlands' only campus university. It counts in the order of 10,000 students.
Programme Committee:
====================
- Paolo Baldan,
University of Padova (Italy)
- Luciano Baresi,
University of Milano (Italy)
- Michel Bauderon,
University of Bordeaux (France)
- Artur Boronat,
University of Leicester (UK)
- Paolo Bottoni,
University of Rome La Sapienza (Italy)
- Andrea Corradini,
University of Pisa (Italy)
- Juan de Lara,
Autonomous University of Madrid (Spain)
- Hartmut Ehrig,
Technical University of Berlin (Germany)
- Gregor Engels,
University of Paderborn (Germany)
- Claudia Ermel
Technical University of Berlin (Germany)
- Holger Giese,
University of Potsdam (Germany)
- Annegret Habel,
University of Oldenburg (Germany)
- Reiko Heckel,
University of Leicester (UK)
- Dirk Janssens,
University of Antwerp (Belgium)
- Garbor Karsai,
Vanderbilt University (USA)
- Ekkart Kindler,
Technical University of Denmark (Denmark)
- Barbara Koenig,
University of Duisburg-Essen (Germany)
- Hans-Jörg Kreowski,
University of Bremen (Germany)
- Ralf Lämmel,
University of Koblenz (Germany)
- Mark Minas,
Universität der Bundeswehr München (Germany)
- Ugo Montanari,
University of Pisa (Italy)
- Mohamed Mosbah,
University of Bordeau (France)
- Manfred Nagl,
RWTH Aachen University (Germany)
- Fernando Orejas,
Technical University of Catalonia (Spain)
- Francesco Parisi-Presicce,
University of Rome La Sapienza (Italy)
- Rinus Plasmeijer,
Radboud University (The Netherlands)
- Detlef Plump,
University of York (UK)
- Arend Rensink (PC co-chair),
University of Twente (The Netherlands)
- Leila Ribeiro,
Federal University of Rio Grande do Sul (Brazil)
- Andy Schürr (PC co-chair),
Technische Universität Darmstadt (Germany)
- Gabriele Taentzer,
University of Marburg (Germany)
- Pieter Van Gorp,
Technical University of Eindhoven (The Netherlands)
- Dániel Varró,
Budapest University of Technology and Economics (Hungary)
- Gergely Varró,
Budapest University of Technology and Economics (Hungary)
- Jens-Holger Weber-Jahnke,
University of Victoria (USA)
- Albert Zündorf,
University of Kassel (Germany)
Organisation
============
Program Chairs
- Arend Rensink <rensink at cs.utwente.nl>,
University of Twente, The Netherlands
- Andy Schürr <andy.schuerr at es.tu-darmstadt.de>,
Technische Universität Darmstadt, Germany
Local Organisation
- Maarten de Mol <m.j.demol at utwente.nl>,
University of Twente, The Netherlands
Publicity Chair:
- Eduardo Zambon <zambon at cs.utwente.nl>,
University of Twente, The Netherlands
Workshop Chair:
- Amir Ghamarian <a.h.ghamarian at utwente.nl>,
University of Twente, The Netherlands
Further information can be found at: http://www.utwente.nl/icgt2010
--------------------------------------------------------------------------------
More information about the Types-announce
mailing list