Hyperproperties Bernd Finkbeiner

News

Paper and Reading Group Assignments

Written: 30.10.2018 17:03 Written By: Jana Hofmann

Dear Students,

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



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators