Untitled Document
9th International Conference on Graph Transformation (ICGT 2016)
July 5-6, 2016
Austria
Call For Papers
Graphs are used almost everywhere when representing or modelling structures and systems, not only in applied and theoretical computer science, but also in, e.g., natural and engineering sciences. Graph transformation and graph grammars are the fundamental modelling paradigms for describing, formalizing, and analyzing graphs that change over time when modelling, e.g., dynamic data structures, systems, or models.
Topics
- General models of graph transformation (e.g., high-level, adhesive, node, edge, and hyperedge replacement systems)
- Analysis and verification of graph transformation systems
- Graph theoretical properties of graph languages
- Automata on graphs and parsing of graph languages
- Logical aspects of graph transformation
- Computational models based on graph transformation
- Structuring and modularization concepts for graph transformation systems
- Hierarchical graphs and decompositions of graphs
- Parallel, concurrent, and distributed graph transformation
- Modelling and Analysis of Dynamic Data Structures
- Term graph rewriting
- Graph transformation and Petri nets
- Ontologies and Ontology evolution
- Graph databases
- Modelling and realizing Software architectures, refactoring, evolution, workflows, business processes, access control, security policies, Service-oriented applications, semantic web, ...
- Natural language processing, Natural computing, Bioinformatics, Quantum computing, Ubiquitous computing, Visual computing, Image generation, Natural and Engineering sciences, ...
- Model-driven development and model transformation
- Model checking, program verification, simulation and animation
- Syntax, semantics and implementation of programming languages, domain-specific languages, and visual languages
- Graph transformation languages and tool support
- Efficient algorithms (pattern matching, graph traversal etc.)
IMPORTANT DATES
Paper submission: Feb 29, 2016
Notification of acceptance: Apr 7, 2016
Final manuscripts due:Apr 21, 2016
Conference dates:July 5-6, 2016