Please look under the Material section, where you will find your paper assignment.
Note that the order of the lectures matches the order in which the papers appear.
A detailed schedule will be published soon.
Let me know if you have any question.
|פורסם ב-31/3/2023, 09:20:58 Created on 31/3/2023, 09:20:58 Создано31/3/2023, 09:20:58 تم النشر ب-31/3/2023, 09:20:58|
Slides from last lecture are published
First, the slides are now available.
Second, thank you to all students who already sent their preferences.
I will publish the assignments (paper -> student) and timeline next week.
If you have any question, please let me know.
|פורסם ב-23/3/2023, 21:48:51 Created on 23/3/2023, 21:48:51 Создано23/3/2023, 21:48:51 تم النشر ب-23/3/2023, 21:48:51|
Welcome to the Formal Verification Seminar
The list of papers for the upcoming seminar is now available.
Please go through the list and mark a few papers you may be interested in.
In addition, Logic for CS and Introduction to Software Verification are prerequisites for this course.
Moreover, if you did not send me your grades sheet, please do so ASAP.
See you next week.
|פורסם ב-13/3/2023, 20:29:33 Created on 13/3/2023, 20:29:33 Создано13/3/2023, 20:29:33 تم النشر ب-13/3/2023, 20:29:33|