GCM 2016

Date: Jul 04, 2016 12:00 am – Jul 04, 2016 11:00 am
Location: Vienna, Austria

Seventh International Workshop on Graph Computation Models (GCM 2016)

A satellite event of STAF 2016 

The aim of the International Workshop GCM 2016 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques. It 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. Previous editions of the GCM series were held in Natal, Brazil (GCM 2006), in Leicester, UK (GCM 2008), in Enschede, The Netherlands (GCM 2010), in Bremen, Germany (GCM 2012), in York, UK (GCM 2014), and in L'Aquila, Italy (GCM 2015).

GCM 2016 solicits papers in all areas of Graph Computation Models including but not limited to the following 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 programming languages
  • Applications: Software architecture; Software validation; Software evolution; Visual programming; Graph-based security models; Design and implementation of programming languages; Workflow and business processes; Model-driven engineering; Dynamic graph algorithms; Bioinformatics and system biology; Social network analysis; Case studies

Important Dates:

  • 18 April 2016: abstract submission
  • 25 April 2016: paper submission
  • 25 May 2016: notification
  • 10 June 2016: submission of final version for proceedings
  • 4 July 2016: GCM workshop

Programme Committee:

  • Rachid Echahed, LIG Lab., Grenoble, France
  • Annegret Habel, University of Oldenburg, Germany
  • Alexander Heußner, University of Bamberg, Germany
  • Dirk Janssens, University of Antwerp, Belgium
  • Barbara König, University of Duisburg-Essen, Germany (chair)
  • Hans-Jörg Kreowski, University of Bremen, Germany
  • Ian Mackie, University of Sussex, UK
  • Mohamed Mosbah, University of Bordeaux, France
  • Detlef Plump, University of York, UK
  • Foundations
  • Modeling
  • Validation and Verification
  • Workshop
  • 2016
Submitted by Anonymous on