[TYPES/announce] STAF 2015: Joint Call for Papers

[Vadim Zaytsev]

————————————————————————————————————————————
* Joint Call for Papers for STAF 2015
* Software Technologies: Applications and Foundations
* 20-24 July 2015, L'Aquila, Italy
* http://www.disim.univaq.it/staf2015/
* https://twitter.com/staf2015
————————————————————————————————————————————
STAF 2015 events include:
 - ICMT'15: Eighth International Conference on Model Transformation
 - ECMFA'15: Eleventh European Conference on Modelling Foundations and
Applications
 - TAP'15: Ninth International Conference on Tests and Proofs
 - ICGT'15: Seventh International Conference on Graph Transformation
 - TTC'15: Eighth Transformation Tool Contest
 - BX'15: Fourth International Workshop on Bidirectional Transformations
 - Projects Showcase
 - Doctoral Symposium
 - (more workshops TBA)
————————————————————————————————————————————

The deadlines coming up soon are (abstract/paper deadlines given, if
applicable):
 - 13/20 February: TAP
 - 15/22 February: ICMT
 - 27 February/6 March: ECMFA
 - 11 March: TTC (cases)
 - 20/27 March: ICGT

We provide some brief information on each of the conferences below,
please refer to their corresponding websites for complete calls for
submissions, as well as more detailed explanation of each event's
topics and priorities.

————————————————————————————————————————————

* 9th International Conference on Tests and Proofs (TAP 2015)
* http://tap2015.in.tum.de/
* http://tap2015.in.tum.de/call.shtml
* https://www.easychair.org/conferences/?conf=tap2015

The TAP conference is devoted to the synergy of proofs and tests, to
the application of techniques from both sides and their combination
for the advancement of software quality. TAP 2015 will accept three
kinds of submissions: regular research papers, short papers and
tutorial proposals.

TAP 2015 keynote talk will be given by Einar Broch Johnsen.

Organisation:
 - Program Co-Chair: Jasmin C. Blanchette (TU Muenchen, Inria)
 - Program Co-Chair: Nikolai Kosmatov (CEA LIST)

————————————————————————————————————————————

* 8th International Conference on Model Transformation (ICMT 2015)
* http://www.model-transformation.org/
* http://www.di.univaq.it/diruscio/sites/ICMT2015/?page_id=21
* https://easychair.org/conferences/?conf=icmt2015

Model transformation encompasses a variety of technical spaces
(modelware, grammarware, dataware, ontoware), a variety of model
representations (text, tables, trees, graphs) and a variety of
transformation paradigms (rule-based transformations, term rewriting,
OO manipulations, weaving, refactoring). The study of model
transformation includes foundations, structuring mechanisms, and
properties, such as modularity, composability and parametrisation of
transformations, transformation languages, techniques and tools. To
achieve impact on software engineering in general, methodologies and
tools are required to integrate model transformation into existing
development environments and processes. Four kinds of submissions are
sought: research papers, application papers, exploratory papers and
tool demo papers.

Organisation:
 - Program Co-Chair: Dimitris Kolovos (University of York, UK)
 - Program Co-Chair: Manuel Wimmer (Vienna University of Technology, Austria)
 - Social Chair: James R. Williams (University of York, UK)
 - Web Chair: Javier Troya (Vienna University of Technology, Austria)

————————————————————————————————————————————

* 11th European Conference on Modelling Foundations and Applications
(ECMFA 2015)
* https://www.uni-marburg.de/fb12/swt/ecmfa2015/
* https://www.uni-marburg.de/fb12/swt/ecmfa2015/cfp.pdf
* https://www.easychair.org/conferences/?conf=ecmfa2015

The ECMFA conference series is dedicated to advancing the state of
knowledge and fostering the industrial application of Model-Based
Engineering as an approach to the design, analysis and development of
software and systems that relies on exploiting high-level models and
computer-based automation to achieve significant boosts in both
productivity and quality. Its focus is on engaging the key figures of
research and industry in a dialogue which results in stronger and more
effective practical application of MBE, hence producing more reliable
software based on state-of-the-art research results. ECMFA has two
distinct Paper Tracks: one for research papers (Track F) dealing with
the foundations for MBE, and one for industrial applications papers
(Track A) dealing with the applications of MBE, including experience
reports on MBE tools.

Organisation:
 - Foundations Program Chair: Gabriele Taentzer (Philipps-Universitaet
Marburg, Germany)
 - Applications Program Chair: Francis Bordeleau (Carleton University,
Ottawa, Canada)

————————————————————————————————————————————

* 8th Transformation Tool Contest (TTC 2015)
* http://www.transformation-tool-contest.eu/
* http://www.transformation-tool-contest.eu/cfc.html
* https://www.easychair.org/conferences/?conf=ttc2015

The aim of the Transformation Tool Contest is to evaluate and compare
the expressiveness, the usability and the performance of
transformation tools for structured data along a number of selected
challenging case studies. Cases can still be submitted up to 11 March
2015. In 2015, our special focus is on program transformations and
bidirectional transformations. Shortly after that deadline, the best
cases will be selected, a Call for Solutions will be issued, and then
people have the chance to submit solutions to the selected cases until
29 April 2015.

Organisation:
 - Tassilo Horn (University of Koblenz-Landau, Germany)
 - Filip Krikava (University of Lille & INRIA Lille)
 - Louis Rose (University of York, UK)

————————————————————————————————————————————

* 7th International Conference on Graph Transformation (ICGT 2015)
* http://btn1x4.inf.uni-bayreuth.de/icgt2015/
* http://btn1x4.inf.uni-bayreuth.de/icgt2015/cfp.html
* http://www.easychair.org/conferences/?conf=icgt2015

Many dynamic structures can be represented as graphs and their changes
modeled as graph transformations. Theory and applications of graphs,
graph grammars and graph transformation systems have been studied in
our community for more than 40 years. This year ICGT offers two
tracks: a Foundations Track and an Applications Track. The research
papers (limited to 16 pages) submitted for the Foundations Track
describe innovative contributions to current research on the
foundations of graph transformations and are evaluated with respect to
their originality, significance, and technical soundness. Papers for
the applications track can be submitted in different categories:
technical papers (limited to 16 pages), case studies (limited to 12
pages) and tool demo papers (limited to 8 pages).

Organisation:
 - Program Co-Chair: Francesco Parisi-Presicce (University of Rome La
Sapienza, Italy)
 - Program Co-Chair: Bernhard Westfechtel (University of Bayreuth, Germany)
 - Publicity Chair: Thomas Buchmann (University of Bayreuth, Germany)

————————————————————————————————————————————

Organisation of STAF 2015:
 - General Chair: Alfonso Pierantonio (Università degli Studi
dell’Aquila, Italy)
 - Workshop Co-Chair: Davide Di Ruscio (Università degli Studi
dell’Aquila, Italy)
 - Workshop Co-Chair: Pieter Van Gorp (Eindhoven University of
Technology, The Netherlands)
 - Doctoral Symposium Co-Chair: Henry Muccini (Università degli Studi
dell’Aquila, Italy)
 - Doctoral Symposium Co-Chair: Dániel Varró (Budapest University of
Technology and Economics, Hungary)
 - Doctoral Symposium Co-Chair: Martin Gogolla (University of Bremen, Germany)
 - Projects Showcase Co-Chair: Marco Autili (Università degli Studi
dell’Aquila, Italy)
 - Projects Showcase Co-Chair: Bernhard Schätz (firtiss GmbH, Germany)
 - Publication Co-Chair: Louis Rose (University of York, UK)
 - Publication Co-Chair: Javier Troya (Technische Universität Wien, Austria)
 - Social Media and Publicity Chair: Vadim Zaytsev (Universiteit van
Amsterdam, The Netherlands)
 - Web Chair: Francesco Basciani (Università degli Studi dell’Aquila, Italy)
 - Local: Massimo Tivoli, Romina Eramo, Ludovico Iovino, Francesco
Gallo, Juri Di Rocco, Gianni Rosa
————————————————————————————————————————————