GCM 2018

Date: Jun 27, 2018 3:15 pm – Jun 27, 2018 4:15 pm
Location: Toulouse, France

Ninth International Workshop on Graph Computation Models (GCM 2018)

Co-located with ICGT 2018
Part of STAF 2018

BACKGROUND AND AIMS

Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modeling in science, engineering and beyond, including computer science, life sciences, business processes, etc.  Graph computation models constitute a class of very high-level models where graphs are first-class citizens. They generalize classical computation models based on strings or trees, such as Chomsky grammars or term rewrite systems. Their mathematical foundation, in addition to their visual nature, facilitates specification, validation and analysis of complex systems. A variety of computation models have been developed using graphs and rule-based graph transformation. These models include features of programming languages and systems, paradigms for software development, concurrent calculi, local computations and distributed algorithms, and biological and chemical computations.

The aim of GCM 2018 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques. The workshop promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and implementations of graph computation models and related areas.

Topics

Foundations:

  • Models of graph transformation
  • Parallel, concurrent, and distributed graph transformation
  • Term graph rewriting
  • Logics on graphs and graph transformation
  • Formal graph languages
  • Analysis and verification of graph transformation systems
  • Foundations of specification and programming languages

Applications:

  • Software architectures
  • Software validation
  • Software evolution
  • Visual programming
  • Graph-based security models
  • Design of specification and programming languages
  • Workflow and business processes
  • Model-driven engineering
  • Dynamic graph algorithms
  • Bioinformatics and system biology
  • Social network analysis
  • Case studies

Programme Committee

  • Andrea Corradini, University of Pisa, Italy
  • Rachid Echahed, Laboratoire d'Informatique de Grenoble, France
  • Stefan Gruner, University of Pretoria, South Africa
  • Annegret Habel, University of Oldenburg, Germany
  • Dirk Janssens, University of Antwerp, Belgium
  • Barbara König, University of Duisburg-Essen, Germany
  • Hans-Jörg Kreowski, University of Bremen, Germany (chair)
  • Mohamed Mosbah, University of Bordeaux, France
  • Detlef Plump, University of York, United Kingdom
  • Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil

Contact 

Hans-Jörg Kreowski (kreo@informatik.uni-bremen.de)

  • Foundations
  • Architectures
  • Modeling
  • Validation and Verification
  • Workshop
  • 2018
Submitted by Anonymous on Wed, 03/14/2018 - 14:24