[TYPES/announce] Last Call for Papers GCM 2016 (Graph Computation Models)
Barbara Koenig
barbara_koenig at uni-due.de
Mon Apr 11 04:28:04 EDT 2016
GCM 2016: Seventh International Workshop on Graph Computation Models
Vienna, Austria, 4 July 2016 - A satellite event of STAF 2016
Call for Papers
http://gcm2016.inf.uni-due.de
======================================================================
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
----------------------------------------------------------------------
Submissions and Proceedings:
Authors are invited to submit regular papers of at most 15 pages,
position papers, system descriptions or work in progress (5-15 pages)
in Lecture Notes in Computer Science (LNCS) style. Submissions should
be in PDF or Postscript Format. Papers should be submitted
electronically via the Easy-Chair system site. Preliminary
proceedings will be available at the workshop. Selected authors will
be invited to contribute to the STAF workshop proceedings, published
by Springer.
----------------------------------------------------------------------
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
======================================================================
More information about the Types-announce
mailing list