[TYPES/announce] GCM 2015: Final Call for Papers

[Detlef Plump]

==============================================
              GCM 2015 - Final Call for Papers
                 6th International Workshop on
             GRAPH COMPUTATION MODELS
                  20 July, 2015, L'Aquila, Italy
      co-located with ICGT 2015, part of STAF 2015
 http://www-users.cs.york.ac.uk/~det/GCM2015/cfp.html
==============================================

The aim of GCM 2015 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
<http://www.labri.fr/perso/mosbah/GCM2006.html>), in
Leicester, UK (GCM 2008 <http://www.labri.fr/perso/mosbah/GCM2008.html>),
in Enschede, The Netherlands
(GCM 2010 <http://gcm2010.imag.fr/>), in Bremen, Germany (GCM 2012
<http://gcm2012.imag.fr/>) and in York, UK
(GCM 2014 <http://gcm2014.imag.fr/>).

Topics of interest
-------------------------
* Foundations: models of graph transformation; logics for graphs
and graph transformation; analysis and verification of graph
transformation systems; foundations of programming languages;
parallel, concurrent, and distributed graph transformation; term
graph rewriting; formal graph languages.

* Applications: visual programming; design and implementation
of graph-based languages; model-driven engineering; software
architectures; software validation; graph-based security
models; workflow and business processes; dynamic graph
algorithms; bioinformatics and computational chemistry;
case-studies.

Important Dates
-----------------------
# Abstract submission: 8 May 2015
# Paper submission: 15 May 2015
# Notification: 12 June 2015
# Final version: 26 June 2015
# Workshop: 20 July 2015

Submission and Publication
----------------------------------------
Authors are invited to submit two types of papers, (1) regular
papers of at most 15 pages and (2) position papers, system
descriptions or work-in-progress papers of at most 5 pages.
Papers should be in LNCS format (LLNCS style) and
submitted as PDF files via the EasyChair submission page
<https://easychair.org/conferences/?conf=gcm2015>.
Electronic proceedings will be available at the time of the
workshop. After the workshop, selected authors will be invited
to submit revised versions of their papers . Accepted selected
contributions will be published in an issue of the international
journal Electronic Communications of the EASST
<http://journal.ub.tu-berlin.de/eceasst>.

Programme Committee
----------------------------------
Rachid Echahed (Laboratoire d'Informatique de Grenoble, France)
Maribel Fernandez (King's College London, United Kingdom)
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 (The University of York, United Kingdom, chair)

For more information, please contact the PC chair:
detlef.plump at york.ac.uk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150501/f6248ce8/attachment-0001.html>