start
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
start [2018/08/21 01:14] – jonathan | start [2018/08/29 00:07] (current) – jonathan | ||
---|---|---|---|
Line 11: | Line 11: | ||
[[https:// | [[https:// | ||
- | See the **Resources** Tab for information on the required Textbook, the TLA+ and PVS tools, private Github | + | See the [[resources: |
===== Lecture Times ===== | ===== Lecture Times ===== | ||
- | Lectures are on Tuesdays and Thursdays at 4pm in Bergeron Room 313. The first scheduled Lab will also be on Thursday, directly after the class, in LAS 1002/ | + | Lectures are on Tuesdays and Thursdays at 4pm in Bergeron Room 313. The first scheduled Lab will also be on Thursday, directly after the first class, in LAS 1002/ |
* **Lectures**: | * **Lectures**: | ||
* Tuesday lectures are to be held in: Bergeron Room 313. | * Tuesday lectures are to be held in: Bergeron Room 313. | ||
* Thursday lectures are to be held in: Bergeron Room 313. | * Thursday lectures are to be held in: Bergeron Room 313. | ||
- | * **Labs**: There is a formal Lab every Thursday in LAS1004, 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). | + | * **Labs**: There is a formal Lab every Thursday in |
* **Labtests**: | * **Labtests**: | ||
start.txt · Last modified: 2018/08/29 00:07 by jonathan