[DMANET] HYPER 2026: Call for Presentations -- 5th Workshop on Hyperproperties (FLoC, Lisbon)

================================================================ Call for Presentations 5th Workshop on Hyperproperties: Advances in Theory and Applications (HYPER 2026) July 24, 2026 -- Lisbon, Portugal Co-located with the Federated Logic Conference (FLoC 2026) https://hyperworkshop26.cispa.io/ ================================================================ === About the workshop === Hyperproperties have become a widely used formalism for expressing system properties such as information-flow policies, symmetry in hardware design, linearizability in concurrent systems, robustness in cyber-physical systems, and properties of learning-enabled systems. This workshop brings together researchers from the formal methods, security, concurrency, and cyber-physical systems communities to present and discuss recent advances in specifying and analyzing hyperproperties. === Important dates === All deadlines are Anywhere on Earth (AoE). Submission deadline: May 4, 2026 Author notification: May 14, 2026 Workshop: July 24, 2026 === Topics === Topics for presentations include, but are not limited to: * Specification formalisms for hyperproperties * Algorithms for verification, synthesis, and runtime verification of hyperproperties * Information-flow control * Privacy * Fairness * Causality * Robustness * Explainability * Stability * Linearizability === Submissions === Presentation proposals should be submitted as extended abstracts of up to 3 pages in LNCS format, excluding references, via HotCRP: https://submissions.floc26.org/hyper/ Submissions may overlap with previously published work and will be judged on their relevance to the topic of the workshop. The review process is single-blind; submissions need not be anonymized. The workshop will not have formal proceedings. === Confirmed invited speakers === * Steve Kremer -- Inria Centre at Universite de Lorraine, France * Andrew C. Myers -- Cornell University, USA * Cesar Sanchez -- IMDEA Software Institute, Spain Additional invited speaker(s) may be announced on the workshop website. === Organizers === * Hadar Frenkel -- Bar-Ilan University, Israel * Ana Oliveira da Costa -- ISTA, Austria * N. Ege Sarac -- CISPA, Germany * Clara Schneidewind -- MPI-SP, Germany We look forward to your contributions! -- Hadar, Ana, Ege, and Clara ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************