CFP
HYPER 2023: Hyperproperties: Advances in Theory and Practice CAV 2023 Paris, France, July 18, 2023 |
Conference website | https://hyperworkshop23.github.io/ |
Submission link | https://easychair.org/conferences/?conf=hyper2023 |
Submission deadline | April 28, 2023 |
The HYPER workshop (part of CAV 2023) 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. 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: April 28th 2023 (AOE)
- Notification: May 18th 2023
Organization
- Rayna Dimitrova: CISPA, Saarbrücken, Germany
- Daniel Fremont: University of California, Santa Cruz, USA
- Hazem Torfah: University of California, Berkeley, USA
Contact
All questions about submissions should be emailed to hyperproperties.workshop@gmail.com