[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] 2nd Call for Papers: ICGT 2010 -- Abstract submission: 9 Apr'10



[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
          ----------------------------------------------
                        2nd 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 will be published by Springer in  the
Lecture Notes in Computer Science series (http://www.springer.com/lncs).

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


Satellite events
================

The following workshops will take place as ICGT satellite events:

- 3rd Workshop on Graph Computation Models (GCM 2010)
- 6th International Workshop on Graph-Based Tools (GraBaTs 2010)
- 4th Workshop on Petri Nets and Graph Transformations (PNGT 2010)
- Workshop and Tutorial on Natural Computing (WTNC 2010)


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  (http://www.springer.com/lncs),  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@cs.utwente.nl>,
   University of Twente, The Netherlands
- Andy Schürr <andy.schuerr@es.tu-darmstadt.de>,
   Technische Universität Darmstadt, Germany

Local Organisation
- Maarten de Mol <m.j.demol@utwente.nl>,
   University of Twente, The Netherlands

Publicity Chair:
- Eduardo Zambon <zambon@cs.utwente.nl>,
   University of Twente, The Netherlands

Workshop Chair:
- Amir Ghamarian <a.h.ghamarian@utwente.nl>,
   University of Twente, The Netherlands

Further information can be found at: http://www.utwente.nl/icgt2010

--------------------------------------------------------------------------------