Room Change Update
|Both previous messages contained a typo the class is Davis 283 and not 238.|
I'm very sorry for the inconvenience.
Reminder: Room Change
|We remind you that tomorrow the classes are in Davis 238.|
|The feedback is available via the course website.|
The deadilne for the third assignment takes into account the vacation and the fact that the LSM workshop will be given after chnookha.
Reminder: No Classes Tomorrow
|We remind you that tomorrow is "מתכונת יום ג", and there will be no classes.|
One Time Room Change - 9/12
|On the 9/12 we will meet in Davis 238 instead of Ulman (lecture and tutorial). |
Notice that this happens AFTER Hanukkah.
The IBM Verification, Privacy, and Security Conference | November 05 - 06
The IBM Verification, Privacy, and Security Conference offers two full days of talks and discussions about the newest breakthroughs in industry and academia.
The event will take place at the IBM Research - Haifa building. Attendance is free but registration is required.
Broken link in q1
|The link in question 1 seem to be broken. The report was added to the exercise files.|
Lecture and tutorial subtitute
|Tomorrow the tutorial will be given 10:30-11:30 and the lecture 11:30-13:30, both are at Ullman room 101.|