From Program Verification to Synthesis Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski

Hi everyone,

To all of you who wish to receive feedback on your report before the final submission, this is a reminder that the soft deadline is today. 

You can submit your reports until today at 23:55, under "submissions -> Summary - soft deadline". 

We wish you all a great weekend and good luck with your exams!

Hi all, 

The Proseminar schedule is delayed by one week. That means that we *will not* meet on 22/06, and the new schedule is: 
29/06 talks 1+2
06/07 talk 3

Please contact us if you cannot attend one of the meetings due to the change. 
We also remind you to update us in advance in case you will be attending the Proseminar via zoom and not in person, so that we set up the room. 

Dear all,

The papers for the proseminar are now assigned! 
The assignment is done using tutorials, so that you can see both the paper and the relevant tutor according to the tutorial you are assigned to.
Please contact your tutor soon in order to set a meeting and start working on your talk. 

Good luck! 

Hi everyone,

Unfortunately, the seminar room is not available on Wednesday at 14:15 so we decided to stick with the original timeslot, i.e., 10:15 on Wednesdays (in consultation with the students for which the 10:15 slot was suboptimal).

As a reminder:
The vote for a topic/paper is now open and closes at 12:00 on Friday. On your personal status page, you can see each of the topics as a separate tutorial to which you can assign your preference.