CfP: STAF 2016 - Software Technologies: Applications and Foundations

CALL FOR PAPERS

STAF 2016 - Software Technologies: Applications and Foundations

July 4-8, 2016 | TU Wien, Vienna, Austria | http://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 Wasowski (IT University of Copenhagen, Denmark) and Henrik Lonn (Volvo Group, Sweden)
  http://ecmfa2016.itu.dk/
• ICGT - 9th International Conference on Graph Transformation
  Chairs: Rachid Echahed (CNRS, Universite Grenoble Alpes, France) and Mark Minas (Universitat der Bundeswehr Munchen, Germany)
  https://sites.google.com/site/icgt2016/
• ICMT - 9th International Conference on Model Transformation
  Chairs: Gregor Engels (Universitat 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 Kuhn (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 Krikava (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 Superieure d'Informatique pour l'Industrie et l'Entreprise, France) and Francesco Parisi-Presicce (Sapienza Universita di Roma, Italy)
• Projects Showcase - 2nd event dedicated to international and national project dissemination and cooperation
• Workshops
  Chairs: Manuel Wimmer (TU Wien, Austria), Daniel Varro (Budapest University of Technology and Economics, Hungary) and Paolo Milazzo (Universita 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 Autonoma de Madrid, Spain (ICMT Keynote)
• Erika Abraham, 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