Workshop Details / Call for Submissions
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’ main focus is the exchange and collaboration of researchers from different backgrounds. The workshop serves as platform to boost inter- and transdisciplinary research and wants to serve as leeway for new ideas. Thus, besides classical research presentations, the workshop is highly geared toward numerous interactive sessions.
This is a one day workshop programmed as mixture of
- Submitted paper presentations, and
- Fully interactive sesssions, including panel discussions, brainstorm groups and informal tool demos.
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:
Algorithms on graphs (with focus on scalability and efficiency), for example
- The use of graph-based and graph-transformation-based models within various general approaches such as:
and applications to concrete domains, including (but not restricted to):
- 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),
- software development (e.g., synthesis, planning, bug mitigation, repair & model driven development),
- software analysis (e.g., verification, testing, static analysis, and simulation),
- constraint based reasoning, and
- social network analysis;
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.
- 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 workshop seeks submissions of several kinds:
- 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.
- 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.
- 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 workshop's webpages. Submission will be accepted up to the early bird registration date.
- Informal tool demo proposals. Tool demos are limited to 10 minutes. Proposals will not be reviewed, unless selection turns out to be necessary. We solicit a 1–2 page abstract of the tool demonstration in the ETPCS LaTeX format. Submission will be accepted up to the early bird registration date.
All contributions shall be submitted through EasyChair
, and adhere to EPTCS style format (available here http://style.eptcs.org
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.