Logical Reasoning for Program Verification and Synthesis

Presentation schedule updated

Written on 20.12.2024 16:01 by Rayna Dimitrova

Dear Students,

I have updated the schedule in the Materials section with the dates of the second round of presentations. 

Best regards,

Rayna