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

News

Reports - soft deadline

Written: 22.07.2022 10:39 Written By: Hadar Frenkel

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!



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