<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">CALL FOR PRESENTATIONS</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">==================</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">HYPER 2024</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">3rd Workshop on Hyperproperties: Advances in Theory and Applications</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><a href="https://urldefense.com/v3/__https://hyperworkshop24.cispa.io/__;!!IBzWLUs!U24o0M5o6VXQFZOiUljquFFYlzIdBPJb2QI84-4lG7CVHyQc-9dIN8QyswfgI48ye_OBt03eId5WRp9lxnnj0el6s5iAOEVTsw$">https://hyperworkshop24.cispa.io/</a></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">co-located with CAV 2024</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">==================</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">The goal of HYPER 2024 is to foster the exchange of ideas on topics related to hyperproperties between researchers from the formal methods, security, machine learning, and cyber-physical systems communities
and to present and discuss recent advances in theory and applications for specifying and analyzing hyperproperties. The workshop will comprise invited talks and selected presentations. For more details and a list of invited speakers, see <a href="https://urldefense.com/v3/__https://hyperworkshop24.cispa.io/__;!!IBzWLUs!U24o0M5o6VXQFZOiUljquFFYlzIdBPJb2QI84-4lG7CVHyQc-9dIN8QyswfgI48ye_OBt03eId5WRp9lxnnj0el6s5iAOEVTsw$">https://hyperworkshop24.cispa.io/</a>.</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">HYPER 2024 is co-located with CAV 2024, and will take place in Montreal, Canada, on July 23, 2024.</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">IMPORTANT DATES</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Submission deadline: April 25, 2024 AoE</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Notification date: May 13, 2024</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Workshop: July 23, 2024</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">SUBMISSION GUIDELINES</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Submission link: <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=hyper24__;!!IBzWLUs!U24o0M5o6VXQFZOiUljquFFYlzIdBPJb2QI84-4lG7CVHyQc-9dIN8QyswfgI48ye_OBt03eId5WRp9lxnnj0el6s5i5CZw1Qg$">https://easychair.org/conferences/?conf=hyper24</a></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">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. Topics
of interest include, but are not limited to:</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Specification formalisms for hyperproperties</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Algorithms for verification, synthesis, and runtime verification for hyperproperties</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Information-flow control</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Privacy</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Fairness</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Causality</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Robustness</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Explainability</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Presentation proposals shall be submitted in the form of an *extended abstract of up to three pages* in LNCS format (not including references) via easychair. Submissions can overlap with previously
published work and will be judged based on their relevance to the topic of the workshop. The workshop will have no formal proceedings.</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">We look forward to seeing you at HYPER 2024 in Montreal!</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Hadar Frenkel, Niklas Metzger, and Hazem Torfah</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">HYPER 2024 co-chairs</div>
</body>
</html>