Differences

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

--- whats_new [2007/08/02 18:27] – external edit 127.0.0.1
+++ whats_new [2009/05/07 17:23] (current) – jonathan
@@ Line 1: / Line 1: @@
 ====== What's New? ======
-Here, you can list what's new in your course.
+===== April 30, 2009 =====
-===== 07-31-07 =====
+Assignment4 is now released.
-Assignment 1 is now due.  If you have not submitted it, you will score 0.
+===== April 3, 2009 =====
+The [[protected:project|Project]] details are now released.
+===== March 25 =====
+[[protected:assignments:a3|Assignment 3]] is now released.
+===== March 18, 2009 =====
+[[protected:assignments:a2|Assignment2]] is now released.
+===== Monday March 9, 2009 =====
+[[assignments:a1|Assignment 1]] has been released.
+===== Sunday March 8, 2009 =====
+  *We have been assured that [[http://www.event-b.org/|Rodin]] and [[http://stwww.weizmann.ac.il/g-cs/benari/jspin/|JSpin]] tools are now installed on the SEL Windows PCs. Please login before class and check that these tools are working. We will spend quite a few lectures working on the C slides (''09W-6411-C-BridgeController.pdf'' available from the SVN link in the sidebar) and comparing it with a Spin model (using JSpin).
+  *You may wish to install Rodin and JSpin on your own PC.
+  * [[https://wiki.cse.yorku.ca/lab/sel/tutorial:start|Spin tutorial]]
-===== 07-28-07 =====
-Assignment 1 is coming due shortly.  Please ensure that you submit it on time.