ICGT 2020
Date: Jun 25, 2020 12:00 am – Jun 26, 2020 11:00 am
Location: Virtual
13th International Conference on Graph Transformation (ICGT 2020)
The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space graphs, control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights.
The International Conference on Graph Transformation aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and to leeway for new ideas.
The 13th International Conference on Graph Transformation (ICGT 2020) will be held in Bergen, Norway, as part of STAF 2020 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EATCS and IFIP WG 1.3. Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series.
Topics of Interest
In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2020 encourages all kinds of contributions related to graphs and graph transformation, either from a theoretical point of view or a practical one.
Topics of interest include, but are not limited to the following subjects:
- General models of graph transformation (e.g. adhesive categories 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 graphs
- Structuring and modularization of graph transformation
- Hierarchical graphs and decomposition of graphs
- Parallel, concurrent, and distributed graph transformation
- Term graph and string diagram rewriting
- Petri nets and other models of concurrency
- Business process models and notations
- Bigraphs and bigraphical reactive systems
- Graph databases and graph queries
- Model-driven development and model transformation
- Model checking, program analysis and verification, simulation and animation
- Syntax, semantics and implementation of programming languages, including domain-specific and visual languages
- Graph transformation languages and tool support
- Efficient algorithms (e.g. pattern matching, graph traversal, network analysis)
- Applications and case studies in software engineering (e.g. software architectures, refactoring, access control, and service-orientation)
- Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous, and visual)
Program Chairs
- Fabio Gadducci (University of Pisa, Italy)
- Timo Kehrer (Humboldt-Universität zu Berlin, Germany)
Program Committee
- Paolo Baldan, Università degli Studi di Padova, Italy
- Gábor Bergmann, Budapest University of Technology and Economics, Hungary
- Paolo Bottoni, Sapienza Università di Roma, Italy
- Andrea Corradini, University of Pisa, Italy
- Juergen Dingel, Queen‘s University Kingston, Ontario, Canada
- Maribel Fernandez, King’s College London, United Kingdom
- Holger Giese, Hasso-Plattner-Institut Potsdam, Germany
- Reiko Heckel, University of Leicester, United Kingdom
- Thomas Hildebrandt, University of Copenhagen, Denmark
- Wolfram Kahl, McMaster University, Canada
- Barbara König, Universität Duisburg-Essen, Germany
- Jean Krivine, IRIF (Institut de recherche en informatique fondamentale, Université de Paris), France
- Leen Lambers, Hasso-Plattner-Institut Potsdam, Germany
- Yngve Lamo, Western Norway University of Applied Sciences Bergen, Norway
- Juan de Lara, Universidad Autónoma de Madrid, Spain
- Detlef Plump, University of York, United Kingdom
- Arend Rensink, University of Twente Enschede, Netherlands
- Leila Ribeiro, Federal University of Rio Grande do Sul (UFRGS) Porto Alegre, Brazil
- Andy Schürr, Technische Universität Darmstadt, Germany
- Pawel Maria Sobocinski, Taltech Tallinn University of Technology, Estonia
- Gabriele Taentzer, Philipps-Universität Marburg, Germany
- Matthias Tichy, Universität Ulm, Germany
- Uwe Egbert Wolter, University of Bergen, Norway
- Steffen Zschaler, King’s College London, United Kingdom
Submitted by Anonymous
on
13th International Conference on Graph Transformation (ICGT 2020)
The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space graphs, control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights.
The International Conference on Graph Transformation aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and to leeway for new ideas.
The 13th International Conference on Graph Transformation (ICGT 2020) will be held in Bergen, Norway, as part of STAF 2020 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EATCS and IFIP WG 1.3. Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series.
Topics of Interest
In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2020 encourages all kinds of contributions related to graphs and graph transformation, either from a theoretical point of view or a practical one.
Topics of interest include, but are not limited to the following subjects:
- General models of graph transformation (e.g. adhesive categories 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 graphs
- Structuring and modularization of graph transformation
- Hierarchical graphs and decomposition of graphs
- Parallel, concurrent, and distributed graph transformation
- Term graph and string diagram rewriting
- Petri nets and other models of concurrency
- Business process models and notations
- Bigraphs and bigraphical reactive systems
- Graph databases and graph queries
- Model-driven development and model transformation
- Model checking, program analysis and verification, simulation and animation
- Syntax, semantics and implementation of programming languages, including domain-specific and visual languages
- Graph transformation languages and tool support
- Efficient algorithms (e.g. pattern matching, graph traversal, network analysis)
- Applications and case studies in software engineering (e.g. software architectures, refactoring, access control, and service-orientation)
- Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous, and visual)
Program Chairs
- Fabio Gadducci (University of Pisa, Italy)
- Timo Kehrer (Humboldt-Universität zu Berlin, Germany)
Program Committee
- Paolo Baldan, Università degli Studi di Padova, Italy
- Gábor Bergmann, Budapest University of Technology and Economics, Hungary
- Paolo Bottoni, Sapienza Università di Roma, Italy
- Andrea Corradini, University of Pisa, Italy
- Juergen Dingel, Queen‘s University Kingston, Ontario, Canada
- Maribel Fernandez, King’s College London, United Kingdom
- Holger Giese, Hasso-Plattner-Institut Potsdam, Germany
- Reiko Heckel, University of Leicester, United Kingdom
- Thomas Hildebrandt, University of Copenhagen, Denmark
- Wolfram Kahl, McMaster University, Canada
- Barbara König, Universität Duisburg-Essen, Germany
- Jean Krivine, IRIF (Institut de recherche en informatique fondamentale, Université de Paris), France
- Leen Lambers, Hasso-Plattner-Institut Potsdam, Germany
- Yngve Lamo, Western Norway University of Applied Sciences Bergen, Norway
- Juan de Lara, Universidad Autónoma de Madrid, Spain
- Detlef Plump, University of York, United Kingdom
- Arend Rensink, University of Twente Enschede, Netherlands
- Leila Ribeiro, Federal University of Rio Grande do Sul (UFRGS) Porto Alegre, Brazil
- Andy Schürr, Technische Universität Darmstadt, Germany
- Pawel Maria Sobocinski, Taltech Tallinn University of Technology, Estonia
- Gabriele Taentzer, Philipps-Universität Marburg, Germany
- Matthias Tichy, Universität Ulm, Germany
- Uwe Egbert Wolter, University of Bergen, Norway
- Steffen Zschaler, King’s College London, United Kingdom