Department of Computer Science

Applied Formal Methods - Timetable
Part III Unit - 3/CS/7A

Lecturer: Jonathan Bowen

URL: http://www.cs.reading.ac.uk/cs/people/jpb/teaching/afm.html

Lectures will been held weeks 1-5 and 7-10 as follows:

  1. Monday 12 noon, Mathematics Dept., Room M100.

  2. Thursday 2 p.m., Mathematics Dept., Room M113.

In general each week, one lecture will cover aspects important for the practical assessment work of the unit and the other will cover aspects more important for the examination part of the unit. Note that Week 6 (16-20 February) is Reading Week and there will be no lectures this week. In addition, there will not be lectures on Thursday 22 January and Monday 9 March due to other commitments.

Practical sessions will be held weeks 2-5 and 7-9 at one of the following times each week, in Room G45:

The time each week will be confirmed in lectures. The required software should be accessible on Sun workstations in both Room G45 (sutf11 to sutf20) and Room G43. The practical sessions are an important part of the course and you should attend the sessions every week. An extra optional session in Week 6 will be available if requested.

The final assessment deadline is Friday 20th March 1998 (Week 10).

However, you should hand in an interim Z specification for inspection and comment during the first half of the term (by the lecture on Monday 23 February 1998 at the latest, but preferably earlier).

You should hand your final report into the Porter's Lodge on or before the last day of term.

[RUCS HOME] [PREV] [UP] [NEXT]