++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

                  SECOND CALL FOR PAPERS

                        ICGT 2006

    3rd International Conference on Graph Transformation

              http://www.dimap.ufrn.br/icgt2006

 Co-located with the Brazilian Symposium on Formal Methods (SBMF 2006)

             Natal, Rio Grande do Norte, Brazil
            Sunday 17 - Friday 22 September 2006

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

The third International Conference on  Graph Transformation ICGT 2006,
along with several satellite events, will be held in Natal (Rio Grande
do Norte. Brazil) in the third week of September  2006. It follows the
conferences held in Barcelona (2002) and Rome (2004),  and a series of
six international workshops on  graph transformation with applications
in computer science held from 1978 to 1998 in  Europe and the USA. The
conference takes place under the auspices of EATCS, EASST, and IFIP WG
1.3.  Best  paper  awards will  be granted  by EATCS  and  EASST.  The
proceedings will appear   in the Lecture   Notes in Computer   Science
series  by  Springer-Verlag.  The conference  is   co-located with the
Brazilian Symposium on Formal Methods (SBMF 2006).

Scope.  Graphical structures of various  kinds (like graphs, diagrams,
visual sentences  and  others) are very   useful  to describe  complex
structures and systems in a direct and intuitive way. These structures
are often augmented by formalisms which  add to the static description
a further dimension modelling the evolution of systems via any kind of
transformation   of such  graphical  structures.  The  field of  Graph
Transformation  is concerned    with  the  theory, applications    and
implementation issues of all these formalisms.

The theory is strongly related to areas such as graph theory and graph
algorithms, formal language and  parsing theory, theory of concurrency
and distributed systems, formal  specification and verification, logic
and  semantics.  The application areas  include  all  those  fields of
Computer  Science,  Information Processing,  Engineering  and  Natural
Sciences.

Topics of interest include, but are not limited to, the following.

On the more theoretical side:

- General models of graph transformation
- Node-, edge-, and hyperedge replacement graph grammars
- Term graph rewriting
- Parallelism, concurrency, distribution
- Structuring and modularization concepts
- Analysis and verification of graph transformation systems
- Graph based Models of Computations
- Semantics of UML and other visual modelling techniques

On the more applied side:

- Graph tool development
- Graph and Graph Transformation exchange formats
- Visual languages and environments
- Software architecture
- Model based software development
- Petri nets
- Mobile Systems Design
- Security
- Bioinformatics and Bio-computing

Invited speakers:

   Daniel Jackson, Massachussetts Institute of Technology, United States.
   Rafael Lins, Universidade Federal de Pernambuco, Recife, Brazil
   Arend Rensink, University of Twente, The Netherlands

Program committee

P.Baldan (IT),
P.Bottoni (IT),
B.Courcelle (FR),
A.Corradini (IT),
H.Ehrig (DE),
G.Engels (DE),
R.Heckel (UK),
D.Janssens (BE),
G.Karsai (USA),
H.-J.Kreowski (DE),
B.Koenig (DE),
M.Llabres (SP),
A.Martins Moreira (BR),
U.Montanari (co-chair, IT),
M.Nagl (DE),
F.Orejas (ES),
F.Parisi-Presicce (USA/IT),
M.Pezze' (IT),
J.Pfaltz (USA),
R.Plasmeijer (NL),
D.Plump (UK),
L.Ribeiro (co-chair, BR),
G.Rozenberg (NL),
A.Schuerr (DE),
G.Taentzer (DE),
D.Varro' (HU),
D.Yankelevich (AR)

Important dates.

   Submission of title and abstract:        April 10, 2006
   Submission of complete paper:            April 19, 2006 [[[ NEW DATE ]]]
   Submission of complete paper:            April 14, 2006
   Notification of acceptance:              May 29, 2006
   Final version due:                       June 15, 2006
   ICGT'06 conference:                      September 19-21, 2006
   Conference including colocated
   conference SBMF and satellite events:    September 17-22, 2006

Submission details.

Paper submission will be enabled soon at URL

      https://submissoes.sbc.org.br/home.cgi?c=313

Submissions should not exceed fifteen (15) pages using Springer's LNCS
format (see http://www.springer.de/comp/lncs/authors.html), 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.

Local organizing committee.

Benjamin Bedregal
Umberto Costa
David Deharbe
Anamaria Martins Moreira (chair)
Martin Musicante
Leila Ribeiro

More details concerning ICGT 2006 including the main conference, satellite
events, the procedure for the submission of papers, local information on the
conference site, and travel information will be published on the website of
ICGT 2006,

              http://www.dimap.ufrn.br/icgt2006

For further information, please send an email to

             icgt2006@dimap.ufrn.br

Satellite Events.

GRA-TRA TUTORIAL
Tutorial on Foundations and Applications of Graph Transformation
Contact: Reiko Heckel (Leicester, UK)

PETRI NETS and GRAPH TRANSFORMATIONS 2006
Workshop on relationships between Petri nets and graph rewriting
Contact: Paolo Baldan (Venice, Italy), Hartmut Ehrig (Berlin, Germany)

GraBaTs 2006
International Workshop on Graph-Based Tools
Contact: Albert Zuendorf (Kassel, Germany) and  Daniel Varro'
(Budapest, Hungary)

GRAPH COMPUTATION MODELS
Contact: M. Mosbah, Y. Metivier (Bordeaux, France)

SOFTWARE EVOLUTION
3rd Workshop on Software Evolution through Transformations:
Model-based vs. Implementation-level Solutions
Contact: Reiko Heckel (Leicester, UK)

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++