======================================================= 11th International Conference on Graph Transformation ICGT 2018 http://www.icgt-conferences.org Toulouse (France) Part of STAF, 25-26 June 2018 =======================================================
Aims and Scope ------------------------------------------------------- Dynamic structures are a major cause for complexity when it comes to modeling and reasoning about systems. They occur in software architectures, models, pointer structures, databases, networks, etc. aAs collections of interrelated elements, which may be added, removed, or change state., Tthey form a fundamental modelling paradigm as well as a means to formalise and analyse systems. Applications include architectural reconfigurations, model transformations, refactoring, and evolution of a wide range of artefacts, where change can happen either at design time or at run time. Based on the observation that these structures can be represented as graphs and their modifications as graph transformations, theory and applications of graphs, graph grammars and graph transformation systems have been studied in our community for more than 40 years. The conference aims at fostering interaction within this community as well as attracting researchers from other areas, either in contributing to the theory of graph transformation or by applying graph transformation to established or novel areas. The 11th International Conference on Graph Transformation (ICGT 2018) will be held in Toulouse, France, as part of STAF 2018 (Software Technologies: Applications and Foundations, http://www.staf2018.fr/). Proceedings will be published by Springer in the LNCS series and a special issue of the Journal of Logic and Algebraic Methods in Programming (Elsevier) will be devoted to extended versions of the best ICGT í18 papers. Important Dates ------------------------------------------------------- Conference: 25-26 June 2018 STAF early registration deadline: 28 May 2018 Invited Speaker ------------------------------------------------------- We are pleased to announce Olivier Rey (CEO of GraphApps) as invited speaker on the.topic “Introduction to Graph-Oriented Programming”. Conference Program ------------------------------------------------------- June 25: ICMT Keynote: The design and evolution of KernelF, Markus Voelter ICGT Session 1: Graph Languages Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars Hans-Jörg Kreowski, Sabine Kuske and Aaron Lye Synchronous Hyperedge Replacement Graph Grammars Corey Pennycuff, Satyaki Sikdar, Catalina Vajiac, David Chiang and Tim Weninger CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers (Tool Presentation Paper) Barbara König, Maxime Nederkorn and Dennis Nolte ICGT Session 2 (joint with ICMT): Transformation Verification & Conditions CoqTL: an Internal DSL for Model Transformation in Coq (ICMT paper) Massimo Tisi and Zheng Cheng Verifying Graph Transformation Systems with Description Logics Jon Hael Brenas, Rachid Echahed and Martin Strecker OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules (Tool Presentation Paper) Nebras Nassar, Jens Kosiol, Thorsten Arendt and Gabriele Taentzer ICGT Session 3: Presentation Track Modular Termination of Graph Transformation Detlef Plump Inter-Model Consistency Checking using Triple Graph Grammars and Linear Optimization Techniques Erhan Leblebici, Anthony Anjorin and Andy Schürr A Systematic Approach to Constructing Families of Incremental Topology Control Algorithms using Graph Transformation Roland Kluge, Michael Stein, Gergely Varró, Andy Schürr, Matthias Hollick, Max Mühlhäuser June 26: ICGT Keynote: Introduction to Graph-Oriented Programming, Olivier Rey ICGT Session 4: Graph Transformation Formalisms Graph Surfing by Reaction Systems Hans-Jörg Kreowski and Grzegorz Rozenberg Probabilistic Graph Programs for Randomised and Evolutionary Algorithms Timothy Atkinson, Detlef Plump and Susan Stepney Graph-Rewriting Petri Nets Géza Kulcsár, Malte Lochau and Andy Schürr ECMFA Keynote: TBA ICGT Session 5: Parallel Independence & Conflicts On The Essence and Initiality of Conflicts Guilherme Grochau Azzi, Andrea Corradini and Leila Ribeiro Characterisation of Parallel Independence in AGREE-Rewriting Michael Löwe Equivalence and Independence in Controlled Graph-Rewriting Processes Géza Kulcsár, Andrea Corradini and Malte Lochau Organization ------------------------------------------------------- Program chairs - Leen Lambers (HPI Potsdam, University of Potsdam, Germany) - Jens Weber (University of Victoria, Canada) Program Committee - Anthony Anjorin (University of Paderborn) - Paolo Baldan (University of Padova) - Gábor Bergmann (Budapest University of Technology and Economics) - Paolo Bottoni (Sapienza University of Rome) - Andrea Corradini (University of Pisa) - Juan de Lara (Autonomous University Madrid) - Jürgen Dingel (Queen's University) - Rachid Echahed (CNRS, Laboratoire LIG) - Holger Giese (HPI, University of Potsdam) - Annegret Habel (University of Oldenburg) - Reiko Heckel (University of Leicester) - Berthold Hoffmann (University of Bremen) - Dirk Janssens (University of Antwerp) - Barbara König (University of Duisburg-Essen) - Yngve Lamo (Bergen University College) - Mark Minas (University of Bundeswehr M¸nchen) - Mohamed Mosbah (LaBRI, University of Bordeaux) - Fernando Orejas (Technical University Catalonia) - Francesco Parisi-Presicce (Sapienza University of Rome) - Detlef Plump (University of York) - Arend Rensink (University of Twente) - Leila Ribeiro (Federal University of Rio Grande do Sul) - Andy Schürr (Technische Universität Darmstadt) - Gabriele Taentzer (University of Marburg) - Bernhard Westfechtel (University of Bayreuth) - Albert Zündorf (University of Kassel) Contact ------------------------------------------------------- In case of questions, please contact the PC chairs at: icgt2...@easychair.org ---- [[ 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: ]] [[ petri...@informatik.uni-hamburg.de ]]