Call for papers
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
Paper submission is open at https://submissoes.sbc.org.br/home.cgi?c=313. Submissions should 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.
Important Dates
- Submission of title and abstract:
- April 10, 2006
- Submission of complete paper:
- April 19, 2006
- April 14, 2006
- Notification of acceptance:
- May 29, 2006
- Final version due:
- June 15, 2006
- Main conference:
- September 19-21, 2006
- Conference including colocated conference SBMF and satellite events:
- September 17-22, 2006