https://www.dagstuhl.de/21442

November 1 – 4 , 2021, Dagstuhl Seminar 21442

Ensuring the Reliability and Robustness of Database Management Systems

Organizers

Alexander Böhm (SAP SE – Walldorf, DE)
Maria Christakis (MPI-SWS – Kaiserslautern, DE)
Eric Lo (The Chinese University of Hong Kong, HK)
Manuel Rigger (ETH Zürich, CH)

For support, please contact

Jutka Gasiorowski for administrative matters

Michael Gerke for scientific matters

Classification

  • Databases
  • Software Engineering

Keywords

  • Automatic Testing
  • Formal Methods
  • Verification
  • Database Management Systems
  • SQL

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.