Reminder for Today | |
|
Hi all, This is a reminder that today's lecture will take place 13:30-15:30 @ Taub 201. Do not be late. Yakir |
| פורסם ב-14/6/2023, 12:39:18 Created on 14/6/2023, 12:39:18 Создано14/6/2023, 12:39:18 تم النشر ب-14/6/2023, 12:39:18 |
Schedule | |
|
Hello all, As you may have heard, the strike is now over. Currently, we will keep the schedule as it appears on the website. We will figure out a solution for students that were supposed to give their talk during the strike. Yakir |
| פורסם ב-5/6/2023, 10:50:26 Created on 5/6/2023, 10:50:26 Создано5/6/2023, 10:50:26 تم النشر ب-5/6/2023, 10:50:26 |
Complementary Lecture - May 17 | |
|
Hello all, Today's complementary lecture will be held in Taub 301. See you there. |
| פורסם ב-17/5/2023, 08:59:56 Created on 17/5/2023, 08:59:56 Создано17/5/2023, 08:59:56 تم النشر ب-17/5/2023, 08:59:56 |
Verification and Validation at Intel | |
|
Hello all, In case you are interested, Intel will visit today and will talk about validation aspects in security, AI etc. Food is included :) If you are interested, see the link below. https://intelcorporationltd.formstack.com/forms/validation_round_tables Enjoy! |
| עדכון אחרון ב-16/5/2023, 15:33:48 Last updated on 16/5/2023, 15:33:48 Последняя модификация16/5/2023, 15:33:48 تمت الحتلنة الأخيرة ب-16/5/2023, 15:33:48 |
Schedule | |
|
Hello all, The dates for all lectures are now set. Note that we have two complementary lectures on May 17 (12:30-14:30) and May 24 (12:30-14:30), which means that on these Wednesdays we will have 4 hours of the seminar (we will try to have a longer break before the 14:30 session). Please also note that on May 24 there are 3 lectures. The speakers should coordinate to make sure each gets the time he/she needs. Also, this means that in the last week of the semester we will have no lecture. Happy Yom HaHatzmaut, Yakir |
| פורסם ב-24/4/2023, 10:01:05 Created on 24/4/2023, 10:01:05 Создано24/4/2023, 10:01:05 تم النشر ب-24/4/2023, 10:01:05 |
Lecture Dates | |
|
Hello all, Please fill the form in the following link: https://forms.gle/r2Lep2151smRa8EF9 I will use it to schedule two complementary lectures. This way, no student will present in the last two weeks of the semester (when your schedule is busy). Yakir |
| פורסם ב-19/4/2023, 16:28:40 Created on 19/4/2023, 16:28:40 Создано19/4/2023, 16:28:40 تم النشر ب-19/4/2023, 16:28:40 |
Paper Assignment | |
|
Dear students, 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. CHAG SAMEACH, Yakir |
| פורסם ב-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 | |
|
Hello all, 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. Yakir |
| פורסם ב-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 | |
|
Hello all, 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. Yakir |
| פורסם ב-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 |