Logical Reasoning for Program Verification and Synthesis

Timetable and presentations schedule

Written on 05.11.24 by Rayna Dimitrova

Dear Students,

I have added the dates and locations of the proseminar meetings in the Timetable. You can also find the schedule of the first round of presentations in the Materials section.

Best regards,

Rayna

Topic Assignment

Written on 04.11.24 by Rayna Dimitrova

Dear Students,

the topic assignment in now available on the "Topic Assignment" page.

In case of any questions, please lt me know.

Best regards,

Rayna