Schedule Change: Omer's Tutorial This Week | |
|
Dear Students, This week, Omer's tutorial will take place on Wednesday, 20.11, from 12:30 to 13:30, instead of the usual Tuesday session. Please use the regular Zoom link: https://technion.zoom.us/j/97699741513 Looking forward to seeing you then, Omer |
| עדכון אחרון ב-17/11/2024, 09:49:11 Last updated on 17/11/2024, 09:49:11 Последняя модификация17/11/2024, 09:49:11 تمت الحتلنة الأخيرة ب-17/11/2024, 09:49:11 |
HW1 | |
|
HW1 has been published. TA in charge: Roy Due date: 27.11, 23:59. There will be a workshop for this assignment on Sunday, 24.11, from 16:30 to 17:30. Zoom link: https://technion.zoom.us/j/99805924946 Reminder: Submissions are in pairs. Good luck! Course staff |
| עדכון אחרון ב-19/11/2024, 13:38:47 Last updated on 19/11/2024, 13:38:47 Последняя модификация19/11/2024, 13:38:47 تمت الحتلنة الأخيرة ب-19/11/2024, 13:38:47 |
Welcome to Introduction to Software Verification! (236342) | |
|
Dear students, Welcome to the Introduction to Software Verification (236342) course! This is the first official email from the course staff. All registered students should receive this message. If you know any classmates who are registered but did not receive this email, please advise them to sign up through the “Auto Update” feature on the course homepage. Course announcements, notifications, and updates will be posted on the course website (http://webcourse.cs.technion.ac.il/236342) and sent through this mailing list. Please make sure to check these sources regularly for the latest information. Be sure to review the course guidelines in the “Syllabus” tab. You can also find the planned release dates for homework assignments in the “Homework” tab. Please note that these dates are subject to change. To arrange office hours, please contact us in advance. We’re glad to assist with any questions and provide support throughout the semester. The first lecture will be held on Tuesday (12.11). Most of the semester will follow a “flipped classroom” format, which will be explained in detail during this session. Tutorials will be held at their scheduled times, and you will have access to videos from previous semesters. Please be aware that, under the current circumstances, all synchronous classes will take place on Zoom. Here are the meeting links: - Yakir's lecture (Tuesday, 10:30): https://technion.zoom.us/j/91971152473 - Omer's tutorial (Tuesday, 14:30): https://technion.zoom.us/j/97699741513 - Roy's tutorial (Wednesday, 16:30): https://technion.zoom.us/s/96409870911 Should the guidelines change and we return to in-person classes, we will update you. We look forward to a productive semester together and hope it will be a quiet and safe one for everyone. Please don’t hesitate to reach out with any questions - we’re here to help. Best regards, Course staff |
| עדכון אחרון ב-8/11/2024, 14:02:35 Last updated on 8/11/2024, 14:02:35 Последняя модификация8/11/2024, 14:02:35 تمت الحتلنة الأخيرة ب-8/11/2024, 14:02:35 |