[Please excuse if you receive multiple copies of this message.]
CALL FOR PAPERS
ICGT 2006
3rd International Conference
on Graph Transformation
Co-located with the Brazilian Symposium on Formal Methods (SBMF 2006)
Natal (Rio Grande do Norte. Brazil), Sunday 17 - Saturday 23 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
- Parallelism, concurrency, distribution
- Term graph rewriting
- Network computing
- High-level and adhesive replacement systems
- Hierarchical graphs and decompositions of graphs
- Logic expression of graph transformation properties
- Graph theoretical properties of graph languages
- Geometrical and topological aspects of graph transformation
- Automata on graphs and parsing of graph languages
- Analysis and verification of graph transformation systems
- Structuring and modularization concepts
- Semantics of languages based on graph transformation
- Semantics of UML and other visual modelling techniques
On the more applied side:
- Implementation of programming languages
- Massively parallel computing
- Bioinformatics and System Biology
- Bio-computing and DNA-computing
- Software architecture
- Mobile Systems Design
- Model transformation
- Model based software development
- Development of meta CASE tools
- Visual languages and environments
- Graph tool development
- Graph based Models of Computations
- Petri nets
- Rule- and knowledge-based systems
- Pattern generation and picture processing
- Layout algorithms
- Software quality and testing
- Security
- Graph and Graph Transformation exchange formats
Invited speakers:
Rafael Lins, Universidade Federal de Pernambuco, Recife, Brazil
Arend Rensink, University of Twente, The Netherlands
Program committee
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
Conference including colocated
conference SBMF and satellite events: September 17 -- 23, 2006
Local organizing committee.
Anamaria Martins Moreira (chair)
Benjamin Callejas Bedregal
David Deharbe
Martin Musicante
Leila Ribeiro
Umberto Souza da Costa
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 (Temptative list)
GRA-TRA TUTORIAL
Tutorial on Foundations and Applications of Graph Transformation
Contact: Reiko Heckel (Leicester, UK)
DNA & GRA-TRA 2006
Tutorial on DNA Computing and Graph Transformation
Contact: Grzegorz Rozenberg (Leiden, The Netherlands)
PETRI NETS and GRAPH TRANSFORMATIONS 2006
Workshop on relationships between Petri nets and graph rewriting
Contact: Grzegorz Rozenberg (Leiden, The Netherlands),
Hartmut Ehrig (Berlin, Germany).
GraBaTs 2006
International Workshop on Graph-Based Tools
Contact: Albert Zuendorf and Daniel Varro
GRAPH COMPUTATION MODELS
Contact: M. Mosbah, Y. Metivier (Bordeaux, France)
SOFTWARE EVOLUTION
2nd 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] ]]
