[fg-arc] STAF 2017: Call for Participation

[Garcia-Dominguez, Antonio]

STAF 2017 - Software Technologies: Applications and Foundations
===============================================================

July 17-21, 2017 | Philipps-Universität Marburg, Germany | http://www.informatik.uni-marburg.de/staf2017/ 

STAF is the umbrella event of:

* ECMFA ’17 - 13th European Conference on Modelling Foundations and Applications,
* ICGT ’17 - 10th International Conference on Graph Transformation,
* ICMT ’17 - 10th International Conference on Model Transformation,
* TAP ’17 - 11th International Conference on Tests and Proofs,
* TTC ’17 - 10th Transformation Tool Contest, and
* Satellite Events related to these conferences:
  * BigMDE ’17 - Scalable Model Driven Engineering,
  * STAF 2017 Doctoral Symposium,
  * GCM ’17 - Graph Computation Models, 
  * GRAND ’17 - Grand Challenges in Modeling,
  * MORSE ’17 - Model-Driven Robot Software Engineering,
  * OCL ’17 - OCL and Textual Modeling,
  * Projects Showcase ’17 - 3rd event dedicated to international and national project dissemination and cooperation, and
  * VOLT ’17 - Verification of Model Transformations.

***** Registration grants for students are available *****

Also note that submissions for the Doctoral Symposium are accepted until May 22nd.

About STAF
==========

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 2017, STAF will be hosted at Philipps-Universität Marburg. Marburg is located
in the heart of Germany, one train-hour to the north of Frankfurt. Its
population of 72,000 is made up of 25,000 students and 7,500 university
employees, rendering it a typical “university town”. As one of Germany’s oldest
universities, founded in 1527, Uni Marburg looks back on a long and rich
history. Traditionally focused on the humanities, Uni Marburg has recently
gained momentum in science and technology, notably in the medical, nano, and
material sciences. Touristic hot spots such as the castle and the beautiful old
town Oberstadt with its numerous bars and restaurants make Marburg highly
attractive for a visit.

Registration
============

You can register online to all events of STAF at:

  http://www.informatik.uni-marburg.de/staf2017/index.php/registration/

For students, we offer registration grants. All details about the application
procedure are provided at:

  http://www.informatik.uni-marburg.de/staf2017/index.php/student-registration-grants/

Keynotes
=======

This year, STAF is proud to feature the following outstanding keynote speakers:

* Ramon Schiffelers (ASML, NL): Empowering high tech systems engineering using
  MDSE ecosystems

* Georg Gottlob (University of Oxford, UK): General and Fractional Hypertree
  Decompositions: Hard and Easy Cases

* Lionel C. Briand (University of Luxembourg, LU): Model-driven verification and
  testing of cyber-physical systems: Tackling Scalability and Practicality
  Challenges

* Reiner Hähnle (Technical University of Darmstadt, DE): Abstraction Refinement
  for the Analysis of Software Product Lines

* More information on the keynotes may be found at
  http://www.informatik.uni-marburg.de/staf2017/index.php/keynotes/.

Program
=======

The tentative program of all events is available at
http://www.informatik.uni-marburg.de/staf2017/index.php/program/.

Contact and Committees
======================

For further inquiries, do not hesitate to contact the STAF chairs via
staf2017 at uni-marburg.de.

--
Antonio Garcia-Dominguez
Lecturer in Computer Science
School of Engineering & Applied Science, Aston University
Aston Triangle, Birmingham, B4 7ET
Room: MB211Q