Dear all,

this is a reminder for the first UnRAVeL survey lecture that takes place this Thursday, April 15 at 4:30pm. Erika Ábrahám will speak about Probabilistic Hyperproperties.

Four decades ago, Lamport used the notion of trace properties as a means to specify the correctness of individual executions of concurrent programs. This notion was later formalized and classified by Alpern and Schneider to safety and liveness properties. Temporal logics like LTL and CTL were built based on these efforts to give formal syntax and semantics to requirements of trace properties. Subsequently, verification algorithms were developed to reason about individual executions of a system.

However, it turns out that many interesting requirements are not trace properties. For example, important information-flow security policies (e.g. noninterference, observational determinism) or service level agreements (e.g. mean response time, percentage uptime) cannot be expressed as properties of individual execution traces of a system. Rather, they are properties of sets of execution traces, also known as hyperproperties. Temporal logics such as HyperLTL and HyperCTL∗ have been proposed to provide a unifying framework to express and reason about hyperproperties.

This talk is devoted to special class of hyperproperties: we ask the question what are hyperproperties in the context of systems with random behavior. We will discuss what are relevant probabilistic relations between independent executions of a system, how we can formally express them in a temporal logic, and how we can decide the truth of such statements.

Further information can be found on https://www.unravel.rwth-aachen.de/go/id/mxibh?lidx=1#aaaaaaaaaamxifr and below.

The event takes place on Zoom:

https://rwth.zoom.us/j/96043715437?pwd=U0dRczkyQjRCY21abW13TDNmUHlhUT09
Meeting ID: 960 4371 5437
Passcode: 039217

Since the event is open also to master's students, who may not receive this email, we would kindly appreciate it if you could pass the invitation on.

We are looking forward to seeing many of you at the survey lecture.

Best regards,
Tim Seppelt for the organisation committee


-------- Forwarded Message --------
Subject: UnRAVeL "Behind the Scenes" Survey Lecture
Date: Fri, 19 Mar 2021 10:43:09 +0100
From: Tim Seppelt <seppelt@cs.rwth-aachen.de>
To: assistenten@informatik.rwth-aachen.de, vortraege@informatik.rwth-aachen.de
CC: Andreas Klinger <klinger@itsec.rwth-aachen.de>, Birgit Willms <willms@informatik.rwth-aachen.de>, Dennis Fischer <fischer@algo.rwth-aachen.de>


Dear all,

part of the programme of the research training group UnRAVeL is a series of introductory lectures on the topics of „randomness“ and „uncertainty“ in UnRAVeL’s research thrusts algorithms and complexity, verification, logic and languages, and their application scenarios. Each lecture is delivered by one of the researchers involved in UnRAVeL. The main aim is to provide doctoral researchers as well as master students a broad overview of the subjects of UnRAVeL.

This year, 12 UnRAVeL professors will answer the following questions, based on one of their recent scientific results:

Following these talks, PhD students will give an informal summary of their doctoral studies within UnRAVeL.

All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2021 and engage in discussions with researchers and doctoral students.

Details information can be found on https://www.unravel.rwth-aachen.de/cms/UnRAVeL/Studium/~pzix/Ringvorlesung-Veranstaltung/?lidx=1

All events take place on Thursdays from 16:30 to 18:00 on Zoom https://rwth.zoom.us/j/96043715437?pwd=U0dRczkyQjRCY21abW13TDNmUHlhUT09

We are looking forward to seeing you at the lectures.

Best regards,
Tim Seppelt for the organisation committee

https://www.unravel.rwth-aachen.de/global/show_picture.asp?id=aaaaaaaaaydoczx