Paper and Reading Group Assignments
The papers have now been assigned. Please refer to your personal status page for further information on your topic and advisor. We would kindly ask you to contact your advisor as soon as possible.
The reading groups will be moderated by those students who will later give a talk in that group. Please refer to the reading group page to know who is responsible for which group. In case you need someone’s mail address to plan the discussion, please contact Jana Hofmann. The first reading group will be moderated by members of the Reactive Systems Group.
Your Hyperproperties Team