Upcoming Verification Seminar | |
Hello all, In the coming semester, Prof. Orna Grumberg will have a seminar about Formal Verification of Neural Networks. You can find details under Course Material, "Future Courses". |
עדכון אחרון ב-14/9/2021, 09:50:09 Last updated on 14/9/2021, 09:50:09 Последняя модификация14/9/2021, 09:50:09 تمت الحتلنة الأخيرة ب-14/9/2021, 09:50:09 |
Home Assignment 2 | |
Home assignment 2 is now graded. Feedback was uploaded as well. If you have troubles accessing it, please let me know. |
פורסם ב-14/9/2021, 09:45:28 Created on 14/9/2021, 09:45:28 Создано14/9/2021, 09:45:28 تم النشر ب-14/9/2021, 09:45:28 |
Projects | |
The list of suggested projects is now available. |
פורסם ב-11/6/2021, 12:29:29 Created on 11/6/2021, 12:29:29 Создано11/6/2021, 12:29:29 تم النشر ب-11/6/2021, 12:29:29 |
Second Home Assignment | |
Now available online. Due date: June 12. |
פורסם ב-30/5/2021, 11:58:33 Created on 30/5/2021, 11:58:33 Создано30/5/2021, 11:58:33 تم النشر ب-30/5/2021, 11:58:33 |
Home Assignment 1 | |
Hello all, First assignment is now available. Good luck!! |
פורסם ב-6/5/2021, 11:24:19 Created on 6/5/2021, 11:24:19 Создано6/5/2021, 11:24:19 تم النشر ب-6/5/2021, 11:24:19 |
Today's Lecture (April 28) | |
Today's lecture is held as usual. If someone has a conflict with the "Innovation Day" lecture, please let me know. |
פורסם ב-28/4/2021, 11:50:33 Created on 28/4/2021, 11:50:33 Создано28/4/2021, 11:50:33 تم النشر ب-28/4/2021, 11:50:33 |
Lecture 2 | |
Hello all, Video for the second lecture will be uploaded during the weekend. I forgot to record the first 15 minutes of the class and need to record that part again. Sorry for the delay. |
פורסם ב-7/4/2021, 16:26:31 Created on 7/4/2021, 16:26:31 Создано7/4/2021, 16:26:31 تم النشر ب-7/4/2021, 16:26:31 |
פורסם ב-24/3/2021, 09:00:54 Created on 24/3/2021, 09:00:54 Создано24/3/2021, 09:00:54 تم النشر ب-24/3/2021, 09:00:54 |
Welcome! | |
Dear students, Welcome to Advanced Methods in FV! As you are all aware, lectures during this semester will be given in class as well as online. To better prepare for the upcoming semester, please fill out this short questionnaire: https://forms.gle/w6X7owWesefUMbtY9 Be sure that this information is not going to be used in any way. It is only meant for administrative preparations. And, lastly, Zoom link for all lectures: https://technion.zoom.us/j/97540473754 (also available under material). All the best, and see you soon, Yakir |
עדכון אחרון ב-25/3/2021, 09:15:19 Last updated on 25/3/2021, 09:15:19 Последняя модификация25/3/2021, 09:15:19 تمت الحتلنة الأخيرة ب-25/3/2021, 09:15:19 |