CfP: Graphs as Models (ETAPS workshop)
GRAPHS AS MODELS (GaM 2015)
First International Workshop
Satellite Event of ETAPS 2015, London -- 11-12 April 2015
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. Used to model a particular phenomenon or process, graphs are then typically analysed to find out properties of the modelled subject, or transformed to construct other types of models.
The new Graphs as Models (GaM) workshop 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 and Bioinformatics.
Topics
This workshop seeks to attract and stimulate research on the techniques for graph analysis, inspection and transformation, on a general 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. Good, well-known examples of such techniques are model checking and graph transformation; but we welcome contributions on any of the following (non-exhaustive) list of topics:
- The use of graphs in software development, such as synthesis, planning, bug mitigation and repair.
- The use of graphs in software analysis, such as verification, testing, static analysis, and simulation.
- Graph search optimisation techniques such as state space reduction techniques and search heuristics.
- Graph algorithms exploiting parallel and distributed architectures, such as clusters, grids and cloud platforms.
- Graph algorithms exploiting dedicated hardware, such as graphics processing units and massive storage.
- Dedicated algorithms or implementation techniques for graph matching, isomorphism checking, graph distance and other graph-based problems.
- Stochastic processes on graphs, including random walks.
- Analysis of large graphs, such as large state spaces, social network graphs, large networks, and big (graph) data.
- Visual language definition and syntax, such as meta-modelling, grammars and graphical parsing.
- Static and dynamic semantics of visual languages, including OCL, graph constraints, simulation and animation.
- Model-to-model and model-to-text transformations and their application in model-driven development.
- Visual modelling techniques and graph transformations for systems with quality properties like performance, real-time, safety, reliability, and energy consumption.
- Case studies and applications.
- Tool support for any of the above.
Workshop Format
This is a two-day workshop programmed as a mixture of:
- Submitted paper presentations.
- Fully interactive sessions, such as:
. Community challenges:
What open issues do you see? What unresolved, graph-related problems are
you facing? Give a 5-minute presentation and receive 10 minutes of
feedback and in-depth discussion from an involved audience.
. Brainstorm groups:
Be part of a small group for a 45-minute brainstorm discussion on a chosen
topic concerning the use of graphs as models; think out of the box and
bring back your conclusions afterwards.
. Informal tool demos:
Convince the audience in 10 minutes that they really need the
functionality your graph-based tool offers.
Submissions
The workshop seeks submissions of three kinds:
1.) Full papers: We solicit papers of up to 15 pages, in 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 LaTeX
format, describing ongoing research. Accepted papers will be presented at
the workshop and might be selected for publication in EPTCS.
3.) Informal tool demo proposals: Tool demos limited to 10 minutes. Proposals
will not be reviewed, unless selection turns out to be needed.
Submissions of type 1.) and 2.) must adhere to the EPTCS format available at
All contributions, including those of type 3.), should be submitted through EasyChair at:
https://easychair.org/conferences/?conf=gam2015
Important Dates
- Deadline for submission: 16 January 2015
- Notification: 13 February 2015
- Final manuscript: 13 March 2015
- Workshop: 11-12 April 2015
Chairs
- Arend Rensink, University of Twente, The Netherlands
[arend.rensink@utwente.nl]
- Eduardo Zambon, IFES/UFES, Brazil
[zambon@inf.ufes.br]
Program Committee
- Vicente Acuna (University of Chile, Chile)
- Dragan Bosnacki (TU Eindhoven, Netherlands)
- Mohammad Dashti (ETH Zurich, Switzerland)
- Stefan Edelkamp (University of Bremen, Germany)
- Gregor Engels (University of Paderborn, Germany)
- Holger Giese (Hasso Plattner Institute, Germany)
- Henri Hansen (Tampere University of Technology, Finland)
- Reiko Heckel (University of Leicester, England)
- Keijo Heljanko (Aalto University, Finland)
- Frank Hermann (University of Luxembourg, Luxembourg)
- Barbara Konig (University of Duisburg-Essen, Germany)
- Christian Krause (SAP Innovation Center Potsdam, Germany)
- Jochen Kuster (Bielefeld University of Applied Sciences, Germany)
- Yngve Lamo (Bergen University, Norway)
- Juan de Lara (Universidad Autonoma de Madrid, Spain)
- Alberto Lluch-Lafuente (Technical University of Denmark, Denmark)
- Alice Miller (University of Glasgow, Scotland)
- Mark Minas (Universitat der Bundeswehr Munchen, Germany)
- Leila Ribeiro (Federal University of Rio Grande do Sul, Brazil)
- Andy Schurr (TU Darmstadt, Germany)
- Gabriele Taentzer (Philipps-Universitat Marburg, Germany)
- Matthias Tichy (Chalmers University of Technology, Sweden)
- Daniel Varro (Budapest University of Technology and Economics, Hungary)
- Bernhard Westfechtel (University of Bayreuth, Germany)
- Anton Wijs (RWTH Aachen University, Germany & TU Eindhoven, Netherlands)
Steering Committee
- Stefan Edelkamp (University of Bremen, Germany)
- Frank Hermann (University of Luxembourg, Luxembourg)
- Barbara Konig (University of Duisburg-Essen, Germany)
- Juan de Lara (Universidad Autonoma de Madrid, Spain)
- Anton Wijs (RWTH Aachen University, Germany & TU Eindhoven, Netherlands)