[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
============================================== GCM 2015 - Second 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.pl...@york.ac.uk