STAF 2015: Joint Call for Papers
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 (Universita degli Studi dell'Aquila, Italy)
- Workshop Co-Chair: Davide Di Ruscio (Universita degli Studi dell'Aquila, Italy)
- Workshop Co-Chair: Pieter Van Gorp (Eindhoven University of Technology, The Netherlands)
- Doctoral Symposium Co-Chair: Henry Muccini (Universita degli Studi dell'Aquila, Italy)
- Doctoral Symposium Co-Chair: Daniel Varro (Budapest University of Technology and Economics, Hungary)
- Doctoral Symposium Co-Chair: Martin Gogolla (University of Bremen, Germany)
- Projects Showcase Co-Chair: Marco Autili (Universita degli Studi dell'Aquila, Italy)
- Projects Showcase Co-Chair: Bernhard Schatz (firtiss GmbH, Germany)
- Publication Co-Chair: Louis Rose (University of York, UK)
- Publication Co-Chair: Javier Troya (Technische Universitat Wien, Austria)
- Social Media and Publicity Chair: Vadim Zaytsev (Universiteit van Amsterdam, The Netherlands)
- Web Chair: Francesco Basciani (Universita degli Studi dell'Aquila, Italy)
- Local: Massimo Tivoli, Romina Eramo, Ludovico Iovino, Francesco Gallo, Juri Di Rocco, Gianni Rosa