GaM 2016
Date: Apr 02, 2016 12:00 am – Apr 03, 2016 11:00 am
Location: Eindhoven, NL
The 2nd International Workshop GRAPHS AS MODELS (GaM 2016)
a Satellite Event of ETAPS 2016,
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.
Chairs
- Alexander Heußner, University of Bamberg
- Aleks Kissinger, Radboud University Nijmegen
- Anton Wijs, Eindhoven University of Technology
Program Committee
- Paolo Bottoni, Sapienza University Rome
- Dimitrios Christopoulos, Modul University Vienna
- Andrew Fish, University of Brighton
- Reiko Heckel, University of Leicester
- Keijo Heljanko, Aalto University
- Karsten Klein, University of Sidney
- Christian Krause, SAP Innovation Center Potsdam
- Barbara König, University of Essen-Duisburg
- Leen Lambers, HPI Potsdam
- Renaud Lambiotte, University of Namur
- Yngve Lamo, University of Bergen
- Frédéric Lang, INRIA Grenoble Rhône-Alpes
- Mieke Massink, CNR-ISTI Pisa
- Ugo Montanari, University of Pisa
- Arend Rensink, University of Twente
- Leila Ribeiro, Universidade Federal do Rio Grande do Sul
- Andy Schürr, TU Darmstadt
- Scott Smolka, Stony Brook University
- Pawel Sobocinski, University of Southhampton
- Bernhard Westfechtel, University of Bayreuth
- Tim Willemse, Eindhoven Univ. of Technology
(Confirmed members so far.)
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, TU Eindhoven
Submitted by Anonymous
on
The 2nd International Workshop GRAPHS AS MODELS (GaM 2016)
a Satellite Event of ETAPS 2016,
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.
Chairs
- Alexander Heußner, University of Bamberg
- Aleks Kissinger, Radboud University Nijmegen
- Anton Wijs, Eindhoven University of Technology
Program Committee
- Paolo Bottoni, Sapienza University Rome
- Dimitrios Christopoulos, Modul University Vienna
- Andrew Fish, University of Brighton
- Reiko Heckel, University of Leicester
- Keijo Heljanko, Aalto University
- Karsten Klein, University of Sidney
- Christian Krause, SAP Innovation Center Potsdam
- Barbara König, University of Essen-Duisburg
- Leen Lambers, HPI Potsdam
- Renaud Lambiotte, University of Namur
- Yngve Lamo, University of Bergen
- Frédéric Lang, INRIA Grenoble Rhône-Alpes
- Mieke Massink, CNR-ISTI Pisa
- Ugo Montanari, University of Pisa
- Arend Rensink, University of Twente
- Leila Ribeiro, Universidade Federal do Rio Grande do Sul
- Andy Schürr, TU Darmstadt
- Scott Smolka, Stony Brook University
- Pawel Sobocinski, University of Southhampton
- Bernhard Westfechtel, University of Bayreuth
- Tim Willemse, Eindhoven Univ. of Technology
(Confirmed members so far.)
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, TU Eindhoven