Differences

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

--- start [2019/09/03 01:18] – jonathan
+++ start [2019/09/03 22:10] (current) – jonathan
@@ Line 8: / Line 8: @@
 Please __**login**__ at the bottom of this page before proceeding.
-← Please read the **forum** regularly for course updates.
+← Please subscribe to and read from the **forum** regularly for course updates.
 See the [[resources:|Resources]] Tab for information on the required Textbook, the TLA+ and PVS tools, private Educational Github repositories and Predicate Logic and Set Theory.
@@ Line 17: / Line 17: @@
   * **Lectures**: Tuesdays & Thursdays 4pm-5.30pm
-    * Tuesday lectures are to be held in: LAS 105.
+    * Tuesday lectures are to be held in: **LSB 105**.
-    * Thursday lectures are to be held in: LAS 105.
+    * Thursday lectures are to be held in: LSB 105.
   * **Labs**: There is a formal Lab every Wednesday in  LAS1006, from 5.30pm to 6.30pm. Labs start right away on the first day of class (with Lab0). Login to this Wiki with your Prism account, and go to the SVN tab (on the left).
   * **Labtests**: There is a graded Labtest (using multiple choice) each week during the Lab, starting on WEdnesday 13 September. The Labtest will be on all the work up to (but not including that day).