[fg-arc] (Deadline extended) Joint Call for Papers: STAF 2017 - Software Technologies: Applications and Foundations

[Garcia-Dominguez, Antonio]

-- Apologies for multiple postings --

The deadlines for the main events of STAF 2017 have been extended, due to popular demand. We welcome you to use this time to polish your contribution or start on one, if you have not done so yet!

--

(Extended) Call for Papers: STAF 2017 - Software Technologies: Applications and Foundations
http://www.informatik.uni-marburg.de/staf2017/
July 17-21, 2017. Marburg, Germany

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 2017, the following events are participating in STAF:

---------------------
Main Events
---------------------

* ECMFA - 13th European Conference on Modelling Foundations and Applications
 PC Chairs: Anthony Anjorin (University of Paderborn, Germany) and Huáscar Espinoza (Technalia, Spain)
 Call: http://ecmfaconference.wixsite.com/ecmfa2017 

* ICGT - 10th International Conference on Graph Transformation
 PC Chairs: Detlef Plump (University of York, UK) and Juan de Lara (Universidad Autónoma de Madrid, Spain)
  Call: https://sites.google.com/site/gratra2017/home/ICGT17-CFP.pdf
 
* ICMT - 10th International Conference on Model Transformation
 PC Chairs: Mark van de Brand (Eindhoven University of Technology, The Netherlands) and Esther Guerra (Universidad Autónoma de Madrid, Spain)
 Keynote speaker (confirmed): Ramon Schiffelers (ASML)
 Call: https://sites.google.com/site/icmt2017/cfp
  
* TAP - 11th International Conference on Tests and Proofs
 PC Chairs: Einar Broch Johnsen (University of Oslo, Norway) and Sebastian Gabmeyer (Technische Universität Darmstadt, Germany)
 Call: http://www.seceng.informatik.tu-darmstadt.de/tap2017/call.html 
   
* TTC - 10th Transformation Tool Contest
Organizers: Antonio Garcia-Dominguez (Aston University, UK), Filip Křikava (Northeastern University, USA), and Georg Hinkel (FZI Research Center of Information Technologies, DE)
Call for Cases: http://www.transformation-tool-contest.eu/cfc.html

---------------------
Satellite Events
---------------------

* Doctoral Symposium
 Chairs: Davide Di Ruscio (University of L’Aquila, Italy) and Barbara König (Universität Duisburg-Essen, Germany)
 Call: http://www.informatik.uni-marburg.de/staf2017/index.php/call-doctoral-symposium/

* Workshops
 Chairs: Martina Seidl (JKU Linz, Austria) and Steffen Zschaler (King’s College London, UK)
 Call: http://www.informatik.uni-marburg.de/staf2017/index.php/call-for-workshops/

---------------------
Important Dates
---------------------

* ECMFA, ICGT, ICMT, and TAP
    Abstract submission: 27.02.2017 (updated)
    Paper submission: 05.03.2017 (updated)
* TTC:
    Case submission: 24.03.2017
    (case solutions deadline follows)
* Doctoral Symposium: 22.05.2017
* Workshop Proposals: 15.12.2016

Looking forward to high quality submissions,
also on behalf of the various committees,

Antonio Garcia-Dominguez
Lecturer in Computer Science
School of Engineering & Applied Science, Aston University
Aston Triangle, Birmingham, B4 7ET
https://www.cs.aston.ac.uk/~garcia-a/