Call for Papers for Software Technologies: Applications and Foundations (STAF) 2016

Call for Papers:
STAF 2016 – Software Technologies: Applications and Foundations
July 4-8, 2016
TU Wien, Vienna, Austria
staf2016.conf.tuwien.ac.at
————————————————————————

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012. The participating conferences focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.

In 2016, the following events are participating in STAF:

———————
Main Events
———————

* ECMFA – 12th European Conference on Modelling Foundations and Applications
Chairs: Andrzej Wąsowski (IT University of Copenhagen, Denmark) and Henrik Lönn (Volvo Group, Sweden)
http://ecmfa2016.itu.dk/

* ICGT – 9th International Conference on Graph Transformation
Chairs: Rachid Echahed (CNRS, Université Grenoble Alpes, France) and Mark Minas (Universität der Bundeswehr München, Germany)
https://sites.google.com/site/icgt2016/

* ICMT – 9th International Conference on Model Transformation
Chairs: Gregor Engels (Universität Paderborn, Germany) and Pieter Van Gorp (Eindhoven University of Technology, Netherlands)
http://is.ieis.tue.nl/research/ICMT16

* SEFM – 14th International Conference on Software Engineering and Formal Methods
Chairs: Eva Kühn (TU Wien, Austria) and Rocco De Nicola (IMT Institute for Advanced Studies Lucca, Italy)
http://staf2016.conf.tuwien.ac.at/sefm/

* TAP – 10th International Conference on Tests and Proofs
Chairs: Bernhard K. Aichernig (Graz University of Technology, Austria) and Carlo A. Furia (ETH Zurich, Switzerland)
http://tap2016.ist.tugraz.at/

* TTC – 9th Transformation Tool Contest
Chairs: Louis Rose (University of York, England), Filip Křikava (Czech Technical University, Czech Republic), and Antonio Garcia-Dominguez (University of York, England)
http://www.transformation-tool-contest.eu/

———————
Satellite Events
———————

* Doctoral Symposium
Chairs: Catherine Dubois (Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise, France) and Francesco Parisi-Presicce (Sapienza Università di Roma, Italy)

* Projects Showcase – 2nd event dedicated to international and national project dissemination and cooperation

* Workshops
Chairs: Manuel Wimmer (TU Wien, Austria), Dániel Varró (Budapest University of Technology and Economics, Hungary) and Paolo Milazzo (Università di Pisa, Italy)

———————
Keynotes
———————

* Krzysztof Czarnecki, University of Waterloo, Canada (ECMFA Keynote)

* Stefan Voget, Continental Automotive GmbH (ECMFA Keynote)

* Juergen Dingel, Queen’s University, Canada (ICGT Keynote)

* Juan de Lara, Universidad Autónoma de Madrid, Spain (ICMT Keynote)

* Erika Ábrahám, RWTH Aachen University, Germany (SEFM Keynote)

* Gul Agha, University of Illinois, USA (SEFM Keynote)

* Kim G. Larsen, Aalborg University, Denmark (TAP Keynote)

———————
Important Dates
———————

* ECMFA
Abstract submission: 15.02.2016
Paper submission: 01.03.2016
http://ecmfa2016.itu.dk/#cfp

* ICGT
Abstract submission: 15.02.2016
Paper submission: 29.02.2016
https://sites.google.com/site/icgt2016/submission

* ICMT
Abstract submission: 15.02.2016
Paper submission: 29.02.2016
http://is.ieis.tue.nl/research/ICMT16/index.php/call-for-papers/

* SEFM
Abstract submission: 22.02.2016
Paper submission: 29.02.2016
http://staf2016.conf.tuwien.ac.at/sefm/submission/

* TAP
Abstract submission: 29.01.2016
Paper submission: 05.02.2016
http://tap2016.ist.tugraz.at/call.shtml

* TTC
Case submission: 17.03.2016
Solution submission: 09.05.2016
http://www.transformation-tool-contest.eu/cfc.html