July 9
|
Hello all, Please note that there will be no lecture tomorrow. Thank you all for your presentations during the semester - it was educating and interesting. I hope you all enjoyed it as much as I did :) If any of you would like to discuss possible research directions, let me know. Yakir |
| פורסם ב-8/7/2025, 15:08:20 Created on 8/7/2025, 15:08:20 Создано8/7/2025, 15:08:20 تم النشر ب-8/7/2025, 15:08:20 |
June 25
|
Hello all, We will not have our seminar today. Next week we will meet in class as usual. Yakir |
| פורסם ב-25/6/2025, 10:26:37 Created on 25/6/2025, 10:26:37 Создано25/6/2025, 10:26:37 تم النشر ب-25/6/2025, 10:26:37 |
Tomorrow's Session
|
Hi all, This is the Zoom link for tomorrow: https://technion.zoom.us/j/98019434220 Yakir |
| פורסם ב-17/6/2025, 16:12:48 Created on 17/6/2025, 16:12:48 Создано17/6/2025, 16:12:48 تم النشر ب-17/6/2025, 16:12:48 |
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 |