Welcome to Introduction to Software Verification (02360342)
|
Dear students, Welcome to Introduction to Software Verification (02360342)! All registered students should receive this email. If you know someone who is registered but did not receive it, please ask them to sign up through the "Auto Update" feature on the course homepage. All announcements and updates will be posted on the course website (https://webcourse.cs.technion.ac.il/02360342) and sent via this mailing list. Please check both regularly. Please review the course guidelines in the "Syllabus" tab. The planned release dates for homework assignments are listed in the "Homework" tab (please note that these dates are subject to change). Office hours are by appointment. Please contact us in advance (our emails are listed in the "Staff" tab) – we'll be happy to help with any questions or difficulties throughout the semester. Although the semester begins on Wednesday, 28.10, there will be no tutorial that day. The first lecture will be held on Tuesday, 3.11, and tutorials will begin the same week (Tuesday, 3.11 and Wednesday, 4.11). Most of the semester will follow a flipped classroom format, which will be explained in detail during the first lecture. Tutorials will be held in person at their scheduled times. Course schedule: - Lecture (group 10, Yakir): Tuesday, 10:30 – Taub 7 - Tutorial (group 11, Omer): Tuesday, 14:30 – Taub 7 - Tutorial (group 12, Omer): Wednesday, 11:30 – Taub 8 We look forward to a productive and engaging semester together. Best regards, The Course Staff |
| פורסם ב-22/10/2026, 13:37:26 Created on 22/10/2026, 13:37:26 Создано22/10/2026, 13:37:26 تم النشر ب-22/10/2026, 13:37:26 |