March 22 – 27 , 2020, Dagstuhl Seminar 20131

POSTPONED Static Methods for Correctness of Model and Program Transformations

Due to the Covid-19 pandemic, this seminar is postponed indefinitely.


Sebastian Erdweg (Universität Mainz, DE)
Thomas Jensen (INRIA – Rennes, FR)
Sam Tobin-Hochstadt (Indiana University – Bloomington, US)
Andrzej Wasowski (IT University of Copenhagen, DK)

For support, please contact

Dagstuhl Service Team


  • Programming Languages / Compiler
  • Semantics / Formal Methods
  • Software Engineering


  • Software language engineering
  • Model-driven development
  • DSLs
  • Static analysis
  • Transformation languages


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.