Differences

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

--- start [2015/09/02 22:58] – jonathan
+++ start [2015/12/04 17:37] (current) – jonathan
@@ Line 8: / Line 8: @@
 ← Please read the **forum** regularly for course updates.
+Project submissions instructions are [[https://wiki.eecs.yorku.ca/course_archive/2015-16/F/4312/protected:project:submit:|here]]
 ===== Lecture Times =====
   * Tuesdays & Thursdays 4pm-5.30pm
-    * Tuesday lectures are to be held in CB120
+    * Tuesday lectures are to be held in <del>CB120</del> PSE321
-    * Thursday lectures are to be held in CB120.
+    * Thursday lectures are to be held in <del>CB120</del> PSE321.
-    * There is a formal Lab every Thursday in LAS1002 from 5.30pm to 6.30pm in LAS1002. Labs start right away (with Lab0)
+    * There is a formal Lab every Thursday in LAS1002 from 5.30pm to 6.30pm in LAS1002. Labs start right away on the first day of class (with Lab0). Login with your Prism account, then do: ''~sel/retrieve/4312/lab0''. There is a Quiz after Lab submission.
+    * <hi>Office hours: Thursdays, 2pm-3pm in the SEL (LAS2056)</hi>
 ===== Learning outcomes =====
@@ Line 44: / Line 45: @@
   * Latex, for writing well formatted documents. (Word and other document systems do not do as well as Latex for formatting mathematics). See [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:latex:|LaTeX]] for more information.
 In class we will only cover some (but not all) of the above. So you will need to master the above material at your own pace. There will be some informal labs to help with PVS.
+Place the following in the .cshrc file in your home directory of your Prism account:
+  setenv PVS_LIBRARY_PATH "/cse/local/pkg/pvs/nasalib"
+  source /cs/local/packages/texlive/cshrc.texlive
+===== Virtual Machine with PVS/Latex =====
+PVS and Latex are available on the Prism/Linux workstations. There is also an SEL Linux-based Virtual Box Image. For instructions, see [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:vm:start:|here]] (use your Prism login)
+The SEL-VM is also available on red:
-PVS and Latex are available on the Prism/Linux workstations. There is also an SEL Linux-based Virtual Box Image
   red:/vbox/eecs-vbox-sel.ova
-for this course with PVS, Latex, Eclipse, EiffeStudio, ETF, etc. so that you can run all the software on your Laptop or home computer.
+The VM has PVS, Latex, Eclipse, EiffeStudio, ETF, Rodin, etc. so that you can run all the software on your Laptop or home computer.
 ===== Required Textbook =====