Wolfgang Pauli Institute (WPI) Vienna

Home WPI in a nutshell Practical Information Events People WPI Projects
Login Thematic Programs Pauli Fellows Talks Research Groups

Workshop "Asynchronous Hyperproperties: From Theory to Practice" (external website )

Location: TU Wien, FAV Hörsaal 1, Favoritenstraße 9-11, 1040 Wien Sat, 6. Jul (Opening: 9:30) - Sun, 7. Jul 24
Topics:
Hyperproperties are a general framework to reason about properties requiring comparing multiple system executions, like security properties or robustness requirements. In this workshop, we want to bring together practitioners from different backgrounds with theoreticians developing frameworks for specifying hyperproperties. This workshop will focus on the recent developments in hyperproperties verification over systems in which executions are not aligned, called asynchronous hyperproperties. The workshop format will emphasise open discussions and promote the interchange of ideas between different communities.
Organisation(s)
ISTA
TU Wien
WPI
Organiser(s)
Ana Oliveira da Costa (ISTA)
Thomas Henzinger (ISTA)
Laura Kovács (WPI c/o TU Wien)
César Sánchez (IMDEA, Spain)
Borzoo Bonakdarpour (MSU, USA)

Impressum webmaster [Printable version]