-------- Weitergeleitete Nachricht -------- Betreff: [WI] CfP: STAF 2016 Call for Papers Datum: Fri, 29 Jan 2016 10:18:49 +0000 Von: Mayerhofer Tanja mayerhofer@big.tuwien.ac.at Antwort an: Mayerhofer Tanja mayerhofer@big.tuwien.ac.at An: wi@lists.kit.edu wi@lists.kit.edu
------------------------------------------------------------------------ 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
-- Mailing-Liste: wi@lists.kit.edu Administrator: wi-request@lists.kit.edu Konfiguration: https://www.lists.kit.edu/wws/info/wi