Hyperproperties Bernd Finkbeiner

News

Paper Preferences and Delayed Start of the Seminar

Written: 22.10.2018 17:16
Modified: 22.10.2018 17:33
Written By: Jana Hofmann

Dear Students,

The links to the papers for the talks and the reading groups are now online. Until Friday, 26.10.(23:59), you can indicate your paper preferences for the talks on your personal status page. Since a few people registered after the kickoff meeting, we added some interesting papers. The assignments for the papers and the moderation of the reading groups will be announced next week.

Please also note that we will start with the introductory reading group one week later than announced during the kickoff meeting. The first meeting will therefore take place on the 12.11.. The introductory reading group on hyperproperties will be moderated by people from the Reactive Systems group.

Your Hyperproperties Team

 



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