Differences

This shows you the differences between two versions of the page.

--- start [2011/12/19 21:24] – jonathan
+++ start [2012/01/03 22:53] (current) – jonathan
@@ Line 1: / Line 1: @@
 ~~NOTOC~~
-====== W11-CSE3341M - Introduction to Program Verification  ======
+====== W12-CSE3341M - Introduction to Program Verification  ======
 ===== Lecture Times =====
-  * Tuesdays/Thursday 11.30am-1pm
+  * Tuesdays/Thursday 11.30am-1pm, CCB115. **Note**: All classes from now on will be in the Software Engineering Laboratory, CSEB2056.
-  * We will be using the [[http://www.event-b.org/platform.html|Rodin]] toolset. For textbook and course slides see [[:textbook|here]].
+  * We will be using the [[http://www.event-b.org/platform.html|Rodin]] toolset (also available with Atelier provers/AnimB on the SVN for Windows). For textbook and course slides see [[:textbook|here]].
-  * **Important**: Subscribe to: [[https://forum.cse.yorku.ca/viewforum.php?f=134|3341 Forum]] for the latest announcements. Please ask all questions relating to the course material on the forum (not via email). For all other questions, see me during office hours. Read the course outline regularly. See bottom** ↓** of this page for login with your Prism password. Additional maerial is available from the SVN repository (see link in the sidebar, once you have logged on).
+  * **Important**: Subscribe to: [[https://forum.cse.yorku.ca/viewforum.php?f=168|3341 Forum]] for the latest announcements. Please ask all questions relating to the course material on the forum (not via email). For all other questions, see me during office hours. Read the course outline regularly. See bottom** ↓** of this page for login with your Prism password. Additional maerial is available from the SVN repository (see link in the sidebar, once you have logged on).