ANU:
The Australian National University ________________________________________________________________
[ANU ] [FEIT ] [DCS ] [COMP4100 ] [Lectures ] [Tutorials] [Assessment ] [Documents ] [References ] [Forum]
________________________________________________________________

COMP4100 in 2007
Software Quality Management

Schedule of Labs and Tutorials
(What, When, and Where)

Week Topic Document Group Time Date Location
2 HOL System I ps | pdf Tue15-17
Wed15-17 		Tue. 3-5
Cancelled 		27 Feb.
28 Feb. 		N113
ANU closed
3 Makeup Lab
(following storm) 		ps | pdf Tue15-17
Wed15-17 		-
Wed. 3-5 		13 Mar.
14 Mar. 		-
N113
4 HOL System II ps | pdf Tue15-17
Wed15-17 		Tue. 3-5
Wed. 3-5 		13 Mar.
14 Mar. 		N113
N113
5 No Lab/Tute - - - - -
6 Advanced Z ps | pdf Tue15-17
Wed15-17 		Tue. 3-5
Wed. 3-5 		27 Mar.
28 Mar. 		N108
N108
7 No Lab/Tute - - - - -
- lect. break - - - - -
8 No Lab/Tute - - - - -
9 Test Practice - Tue15-17
Wed15-17 		Tue. 3-5
Wed. 3-5 		1 May
2 May 		N108
N108
10 Concurrency Notations ps | pdf Tue15-17
Wed15-17 		Tue. 3-5
Wed. 3-5 		8 May
9 May 		N108
N108
11 Inspections - Tue15-17
Wed15-17 		Tue. 3-5
Wed. 3-5 		15 May
16 May 		N108
N108
12 No Lab/Tute - - - - -

________________________________________________________________
[ANU ] [FEIT ] [DCS ] [COMP4100 ] [Lectures ] [Tutorials] [Assessment ] [Documents ] [References ] [Forum]
________________________________________________________________

Date Last Modified: 30th March, 2007
Universal Resource Locator: http://cs.anu.edu.au/student/comp4100.2007/tutorials.html