[GDNET] CfP for the 3rd International Workshop GRAPHS AS MODELS (GaM 2017)

[Timo Kehrer]

[Apologies for crossposting multiple copies of this CfP.]


=======================================================================
Call for Papers for the 3rd International Workshop


GRAPHS AS MODELS (GaM 2017)

http://www.dcs.gla.ac.uk/gam2017


a Satellite Event of ETAPS 2017, Uppsala -- April 22-29, 2017
=======================================================================


=== Important Dates ===

- Abstract Submission: February 3, 2017
- Paper Submission: February 10, 2017
- Author Notification: March 10, 2017
- Final Version Due: April 7, 2017
- Workshop: April 22 and 23, 2017


=== Description ===

Graphs are used as models in all areas of computer science: examples are
state space graphs, control flow graphs, syntax graphs, UML-type models
of all kinds, network layouts, social networks, dependency graphs, and
so forth. Once such graphical models are constructed, they can be
analysed and transformed to verify their correctness within a domain,
discover new properties, or produce new equivalent and/or optimised
versions.

Graphs as Models combines the strengths of two pre-existing workshop
series: GT-VMT (Graph Transformation and Visual Modelling Techniques)
and GRAPHITE (Graph Inspection and Traversal Engineering), but also
solicits research from other related areas, such as Social Network
Analysis.

Graphs as Models’ main focus is the exchange and collaboration of
researchers from different backgrounds. The workshop serves as platform
to boost inter- and transdisciplinary research and foster new ideas and
collaborations. Thus, besides classical research presentations, the
workshop is highly geared toward numerous interactive sessions.


=== Topics ===

This workshop seeks to attract and stimulate research on the techniques
for graph analysis, inspection and transformation, on an abstract level
rather than in any specific domain. Thus, the concept of a graph (in its
many guises) is central. Contributions should address scenarios for the
use of graphs in a modelling context that potentially transcend specific
settings and can be applied across domains. We welcome contributions on
any of the following (non-exhaustive) list of topics:

* The use of graph-based and graph-transformation-based models within
   various general approaches such as:
   - visual modelling languages (including aspects of meta modelling,
     grammars, and graphical parsing),
   - model-to-model and model-to-X transformations,
   - stochastic processes on graphs, and
   - compositional models (e.g. graphs-with-boundary, nominal graphs,
     string diagrams),
   and applications to concrete domains, including (but not restricted
   to):
   - software development (e.g., synthesis, planning, bug mitigation,
     repair & model driven development),
   - software analysis (e.g., verification, testing, static analysis,
     and simulation),
   - concurrency,
   - constraint based reasoning, and
   - social network analysis;

* Algorithms on graphs (with focus on scalability and efficiency),
   for example
   - graph search optimization (including search space reduction
     techniques),
   - analysis of large graphs and graph transformation systems,
   - graph matching, isomorphism checking, etc.,
   - graph properties that support efficient algorithms regarding
     quality properties (like real-time, safety, reliability, and
     energy consumption),
   - approaches exploiting concurrency/parallelism and dedicated
     hardware, and
   - simulation of models.

* The visualization of large graphs
   (including the simulation of transformation systems).

* New ways of applying graphs and graph transformation based
   techniques.

* Case studies and tools.


=== Workshop Format ===

This is a one-day-and-a-half day workshop programmed as a mixture of:

* Submitted paper presentations and

* Fully interactive sessions.


=== Submissions ===

The workshop seeks submissions of four kinds:

   1.) Full papers: We solicit papers of up to 15 pages, in the EPTCS
       LaTeX format, containing original results. Accepted papers will
       be published in EPTCS (Electronic Proceedings in Theoretical
       Computer Science).

   2.) Work-in-progress papers: We solicit papers of up to 15 pages, in
       the EPTCS LaTeX format, describing ongoing research. Accepted papers
       will be presented at the workshop and might be selected for 
publication
       in EPTCS.

   3.) Presentation abstracts: We solicit an abstract of 1-2 pages, in
       the EPTCS LaTeX format, describing ongoing research. Accepted
       abstracts will lead to a presentation at the workshop and will be
       included in the workshop's webpages.

   4.) Informal tool demo proposals: Tool demos limited to 10 minutes.
       Proposals will not be reviewed, unless selection turns out to be 
needed.

All submissions have to adhere to the EPTCS format available at

       http://style.eptcs.org/

All contributions have to be submitted through EasyChair at:

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

=== Special Issue in Elsevier SCP ===

Authors of selected papers will be invited to submit an extended version
of their paper to a special issue in the Elsevier journal on Science of
Computer Programming (SCP) after the workshop.

=== Chairs ===

- Timo Kehrer, Humboldt-University Berlin
- Alice Miller, University of Glasgow

=== Program Committee ===

- Luciano Baresi, Politecnico di Milano
- Paolo Bottoni, Sapienza University Rome
- Dimitrios Christopoulos, Modul University Vienna
- Andrea Corradini, University of Pisa
- Stefan Edelkamp, University of Bremen
- Andrew Fish, University of Brighton
- Reiko Heckel, University of Leicester
- Keijo Heljanko, Aalto University
- Barbara König, University of Essen-Duisburg
- Christian Krause, SAP Innovation Center Potsdam
- Leen Lambers, Hasso-Plattner-Institut, Universität Potsdam
- Renaud Lambiotte, University of Namur
- Yngve Lamo, University of Bergen
- Frédéric Lang, INRIA Grenoble Rhône-Alpes
- Juan de Lara, Universidad Autonoma de Madrid
- Mieke Massink, CNR-ISTI Pisa
- Ugo Montanari, University of Pisa
- Gethin Norman, University of Glasgow
- Julia Padberg, HAW Hamburg
- Detlef Plump, University of York
- Arend Rensink, University of Twente
- Leila Ribeiro, Universidade Federal do Rio Grande do Sul
- Andy Schürr, TU Darmstadt
- Scott Smolka, Stony Brook University
- Daniel Strüber, University of Koblenz and Landau
- Bernhard Westfechtel, University of Bayreuth
- Anton Wijs, Eindhoven University of Technology
- Tim Willemse, Eindhoven University of Technology

=== Steering Committee ===

- Stefan Edelkamp, University of Bremen
- Frank Hermann, Carmeq GmbH
- Barbara König, University of Duisburg-Essen
- Juan de Lara, Universidad Autónoma de Madrid
- Arend Rensink, University of Twente
- Anton Wijs, Eindhoven University of Technology