Dagstuhl Seminar 27101
Towards a Unified Theory and Application of Hyperproperties
( Mar 07 – Mar 12, 2027 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/27101
Organizers
- Borzoo Bonakdarpour (Michigan State University - East Lansing, US)
- Bernd Finkbeiner (CISPA - Saarbrücken, DE)
- David A. Naumann (Stevens Institute of Technology - Hoboken, US)
- Ana Oliveira da Costa (IST Austria - Klosterneuburg, AT)
Contact
- Marsha Kleinbauer (for scientific matters)
- Jutka Gasiorowski (for administrative matters)
Classification
- Logic in Computer Science
- Programming Languages
Keywords
- Hyperproperties
- Program Languages
- Temporal Logics
- Security Verification
- Information-Flow Verification
