assignments of students to papers
|
Under assignments, you will see the list of papers with the assignment of speaker to each one. Please let me know if you have any problem with the assignment. Students that didn't register yet, you can choose from the ones that were not assigned yet. Please send me mail. Orna. |
| פורסם ב-18/4/2026, 18:18:56 Created on 18/4/2026, 18:18:56 Создано18/4/2026, 18:18:56 تم النشر ب-18/4/2026, 18:18:56 |
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 |