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
*
*                   [email protected]
*
*   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/
*
**********************************************************