The tutorial on Tuesday (October 26) is canceled.
A complementary tutorial will be given at a later date.
|פורסם ב- 24/10/2021, 12:12:40 Created on 24/10/2021, 12:12:40 Создано 24/10/2021, 12:12:40 تم النشر ب- 24/10/2021, 12:12:40|
Welcome to Introduction to Software Verification! (236342)
|Welcome to Introduction to Software Verification! (236342)|
This is the first official mail from the "Introduction to Software Verification" (236342) course staff.
Each student registered to the course should get this mail. Those who didn't get it are probably not registered or are not on the mailing list. So, if you know about friends who are taking this course and did not get this email, please advise them to register through the "Auto Update" feature appearing at the homepage.
The course announcements, notifications, changes etc. will be published on the website and through this mailing list. It is your responsibility to be updated and to check from time to time for new information posted on the web.
All the information you need appears at the course website at http://webcourse.cs.technion.ac.il/236342
Specifically, please make sure you read the course guidelines that appear in the syllabus tab. Also, read the tentative course schedule under the syllabus tab, which specifies lecture and tutorial, along with the publication and submission dates of each homework assignment. Notice that changes to the schedule are possible.
Our office hours will be updated soon under the "Staff" tab. Try to fit yourselves to those office hours, or contact us by email. We will be happy to answer your questions and help you with this course during the semester.
The first lecture will be held in class. Most of the semester, however, will adopt the "flipped classroom" approach. Logistics of the course will be explained during the first lecture.
Tutorials will be frontal and you will have access to videos of the course from the Winter 2020-2021 semester.
We wish you a fruitful and enjoyable semester!
|עדכון אחרון ב- 24/10/2021, 12:11:24 Last updated on 24/10/2021, 12:11:24 Последняя модификация 24/10/2021, 12:11:24 تمت الحتلنة الأخيرة ب- 24/10/2021, 12:11:24|