Presentations of lecture
|
The presentations of your lectures will be added to "Material", starting item 6. The first presentation is already there. |
| עדכון אחרון ב-15/4/2026, 21:41:55 Last updated on 15/4/2026, 21:41:55 Последняя модификация15/4/2026, 21:41:55 تمت الحتلنة الأخيرة ب-15/4/2026, 21:41:55 |
Zoom for the class tomorrow and more
|
Under assignment you will find 1. a list of papers to choose from 2. instructions zoom: https://technion.zoom.us/j/92719382353 |
| פורסם ב-13/4/2026, 23:56:54 Created on 13/4/2026, 23:56:54 Создано13/4/2026, 23:56:54 تم النشر ب-13/4/2026, 23:56:54 |
Welcome to the AI for FM seminar
|
Welcome to the seminar on AI for Formal Methods. The first lecture will be given via zoom on Tuesday 14.4.26 at 12:30-14:30. Link will be sent by Tuesday. Please check with the Technion's announcement whether the rest of the meetings will be via zoom or frontal. In a few days I will publish a list of papers to choose from. Please send me mail with 2-3 preferences. Wishing you a quiet and fruitful sememter. Orna. |
| עדכון אחרון ב-12/4/2026, 12:12:36 Last updated on 12/4/2026, 12:12:36 Последняя модификация12/4/2026, 12:12:36 تمت الحتلنة الأخيرة ب-12/4/2026, 12:12:36 |