Update regarding the upcoming lecture | |
|
Hi all, Since my flight to the conference was cancelled (due to latest events), we will hold the lecture this week as planned. See you on Wednesday! Yakir |
| פורסם ב-5/5/2025, 15:00:01 Created on 5/5/2025, 15:00:01 Создано5/5/2025, 15:00:01 تم النشر ب-5/5/2025, 15:00:01 |
Lecture This Week (May 7) | |
|
Hello all, There will be no lecture this week (since I will be at a conference). Yakir |
| פורסם ב-2/5/2025, 15:34:52 Created on 2/5/2025, 15:34:52 Создано2/5/2025, 15:34:52 تم النشر ب-2/5/2025, 15:34:52 |
Papers Preference | |
|
Hi all, Please fill in the below form. https://forms.gle/ed6638pgGtgcQo2P9 Yakir |
| פורסם ב-6/4/2025, 20:28:07 Created on 6/4/2025, 20:28:07 Создано6/4/2025, 20:28:07 تم النشر ب-6/4/2025, 20:28:07 |
Seminar in Formal Methods | |
|
Hello all, The list of papers can be found under material. Since I will give the needed background in the first two weeks, papers are ordered starting Week 3. Currently, every week has two papers, though this may change since some papers may require the full two hours. If you have any question, please let me know. Yakir |
| פורסם ב-25/3/2025, 11:50:03 Created on 25/3/2025, 11:50:03 Создано25/3/2025, 11:50:03 تم النشر ب-25/3/2025, 11:50:03 |