STAF'17

Date: Jul 17, 2017 12:00 am – Jul 21, 2017 11:00 am
Location: Marburg, Germany

STAF 2017 Software Technologies: Applications and Foundations

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. 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.   

The goal of the Doctoral Symposium is to provide a forum in which PhD students can present their work in progress. The symposium supports students by providing independent and constructive feedback about their already completed and, more importantly, planned research work. The symposium will be accompanied by prominent experts who will actively participate in critical discussions.

Relevant fields within Software Engineering include (but are not limited to):

  • Models: reasoning, execution, management, testing and validation
  • Model transformations: paradigms, algorithms, development, applications, tools
  • Graph transformation and graph theories
  • Domain Specific Languages
  • Proofs and Testing: verification, debugging, experiments, case studies
  • Model-Driven Engineering

Organizing Committee

General Chair

  • Gabriele Taentzer, Philipps University Marburg, Germany

Local Chair

  • Christoph Bockisch, Philipps University Marburg, Germany

Workshop Chairs

  • Martina Seidl, Johannes Kepler University
  • Steffen Zschaler, King’s College London, UK

Publication Chairs

  • Leen Lambers, Hasso Plattner Institute, Germany
  • Javier Troya, Universidad de Sevilla, Spain

Publicity Chairs

  • Antonio Garcia-Dominguez, Aston University, UK
  • Pieter Van Gorp, Eindhoven University of Technology, Netherlands

Web Chair

  • Daniel Strüber, University of Koblenz and Landau, Germany

Steering Committee

  • Martin Gogolla, University of Bremen, Germany
  • Thomas Gschwind, IBM Zurich Research Lab, Switzerland
  • Reiko Heckel, University of Leicester, UK
  • Richard Paige (Chair), University of York, UK
  • Antonio Vallecillo, University of Malaga, Spain
  • Pieter Van Gorp, Eindhoven University of Technology, The Netherlands
  • Jan Vitek, Northeastern University, USA
  • Foundations
  • Modeling
  • Validation and Verification
  • Conference
  • 2017
Submitted by Anonymous on