Dagstuhl-Seminar 27101
Towards a Unified Theory and Application of Hyperproperties
( 07. Mar – 12. Mar, 2027 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/27101
Organisatoren
- 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)
Kontakt
- Marsha Kleinbauer (für wissenschaftliche Fragen)
- Jutka Gasiorowski (für administrative Fragen)
Klassifikation
- Logic in Computer Science
- Programming Languages
Schlagworte
- Hyperproperties
- Program Languages
- Temporal Logics
- Security Verification
- Information-Flow Verification
