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