[TYPES/announce] Second CfP: GCM - Graph Computation Models 2017

[Detlef Plump]

===========================================================
GCM 2017: Eighth International Workshop on Graph Computation Models
Marburg, Germany, 17 July 2017 - A satellite event of STAF 2017

http://pages.di.unipi.it/corradini/Workshops/GCM2017
===========================================================

CALL FOR PAPERS   [Abstract submission deadline: 25 April 2017]

The aim of GCM 2017 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. 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), in
L'Aquila, Italy (GCM 2015), and in Wien, Austria (GCM 2016).

----------------------------------------------------------------------

GCM 2017 solicits papers on all aspects of graph computation
models. This includes but is 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 Format. Papers should be submitted electronically via the
EasyChair submission page

https://easychair.org/conferences/?conf=gcm2017

All submissions will be reviewed by the programme committee.
Electronic proceedings will be available at the time of the
workshop. Selected authors will be invited to contribute to
the joint post-proceedings of the STAF workshops, that will
be published by Springer in the LNCS series.

----------------------------------------------------------------------

Important Dates:

25 April 2017: Abstract submission
30 April 2017: Paper submission
25 May 2017: Notification
16 June 2017: Final version due
17 July 2017: GCM 2017 workshop in Marburg

----------------------------------------------------------------------

Programme Committee:

Andrea Corradini, Dipartimento di Informatica, Pisa, Italia [Chair]
Rachid Echahed, Laboratoire d'Informatique de Grenoble, France
Stefan Gruner, University of Pretoria, South Africa
Annegret Habel, Universität Oldenburg, Germany
Dirk Janssens, Universiteit Antwerpen, Belgium
Barbara König, Universität Duisburg-Essen, Germany
Hans-Jörg Kreowski, Universität Bremen, Germany
Mohamed Mosbah, LaBRI, Université de Bordeaux, France
Detlef Plump, University of York, United Kingdom
Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil

==========================================================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170324/53357f7c/attachment.html>