[Apologies for multiple postings]
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
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 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
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
[EMAIL PROTECTED]
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)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
--
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
Prof. Ugo Montanari Phone: +39 050 2212721
Dipartimento di Informatica Fax: +39 050 2212726
Universita' di Pisa Email: [EMAIL PROTECTED]
Largo Bruno Pontecorvo, 3 Address changed recently
I-56127 Pisa, Italy http://www.di.unipi.it/~ugo/ugo.html
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
