CFP
HYPER2024: 3rd Workshop on Hyperproperties: Advances in Theory and Applications Montreal, Canada, July 23, 2024 |
Conference website | https://hyperworkshop24.cispa.io |
Submission link | https://easychair.org/conferences/?conf=hyper24 |
Submission deadline | May 16, 2024 |
The HYPER workshop aims to bring together researchers interested in the broad area of hyperproperties and working in the areas of formal methods and control, cybersecurity, and machine learning. HYPER 2024 is co-located with CAV 2024 and will take place in Montreal, Canada, on July 23, 2024. Topics of interest include, but are not limited to:
- Specification formalisms for hyperproperties
- Algorithms for verification, synthesis, and runtime verification for hyperproperties
- Information-flow control
- Privacy
- Fairness
- Causality
- Robustness
- Explainability
Call for Presentations
Presentation proposals shall be submitted in the form of an extended abstract of up to three pages in LNCS format (not including references). Submissions may overlap with previously published work and will be judged based on their relevance to the topic of the workshop.
- Submission deadline: May 16, 2024 (AOE)
- Notification: May 30, 2024
Invited Speakers
- Fred Schneider, Cornell, USA
- Hagit Attiya, Technion, Israel
- Jana Hofmann, Azure Research, UK
- Xiang Yin, Shanghai Jiao Tong University, China
Organizing Committee
- Hadar Frenkel: CISPA, Germany
- Niklas Metzger: CISPA, Germany
- Hazem Torfah: Chalmers University, Sweden
Contact
All questions about submissions should be emailed to niklas.metzger@cispa.de.