[fg-arc] CfP: STAF 2016 Call for Papers

[Mayerhofer Tanja]

------------------------------------------------------------------------
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 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