[TYPES/announce] CfP: Graphs as Models (ETAPS workshop), 11-12 April 2015; deadline 16 Jan 2015

Arend Rensink arend.rensink at utwente.nl
Thu Nov 20 07:22:25 EST 2014


============================================================================
                                Call for Papers

                         GRAPHS AS MODELS (GaM 2015)
                         First International Workshop

                           http://utwente.nl/gam2015/

             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

       http://style.eptcs.org/

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 at utwente.nl]

   - Eduardo Zambon, IFES/UFES, Brazil
     [zambon at inf.ufes.br]

=== Program Committee ===

   - Vicente Acuña  (University of Chile, Chile)
   - Dragan Bošnački  (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 König  (University of Duisburg-Essen, Germany)
   - Christian Krause  (SAP Innovation Center Potsdam, Germany)
   - Jochen Küster  (Bielefeld University of Applied Sciences, Germany)
   - Yngve Lamo  (Bergen University, Norway)
   - Juan de Lara  (Universidad Autónoma de Madrid, Spain)

   - Alberto Lluch-Lafuente  (Technical University of Denmark, Denmark)
   - Alice Miller  (University of Glasgow, Scotland)
   - Mark Minas  (Universität der Bundeswehr München, Germany)
   - Leila Ribeiro (Federal University of Rio Grande do Sul, Brazil)
   - Andy Schürr  (TU Darmstadt, Germany)

   - Gabriele Taentzer  (Philipps-Universität Marburg, Germany)
   - Matthias Tichy  (Chalmers University of Technology, Sweden)
   - Dániel Varró  (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 König  (University of Duisburg-Essen, Germany)
   - Juan de Lara  (Universidad Autónoma de Madrid, Spain)
   - Anton Wijs  (RWTH Aachen University, Germany & TU Eindhoven, 
Netherlands)


More information about the Types-announce mailing list