Complementary lecture on 5/11
A complementary lecture will be held on 5/11/17, 16:30-18:30 at Taub 7.
This will be lecture 3, and the lecture on the last week of the semester will be canceled.
All other lectures will be held as usual on Tuesdays.
This change appears in the course schedule.
Welcome to 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 web and through this mailing list. It's 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 course schedule under the syllabus tab, which specifies lecture and tutorial, along with the publication and submission dates of each homework assignment.
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.
Recitations will be held starting the first day of the semester.
We wish you a fruitful and enjoyable semester!