https://www.dagstuhl.de/20131

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.

Organizers

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

Classification

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

Keywords

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

Documentation

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).

Publications

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.