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


Schedule delay

Written: 17.06.2022 13:27 Written By: Hadar Frenkel

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. 


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