Time Table of Anton Setzer (Lent Term 2007)

The following is the usual time table of Anton Setzer (AGS) in Lent Term 2007, so that students can find out when it is best to meet him.
Usually it is easier to meet AGS in the afternoon or early evening.
Please note that it is not advisable to meet him within an hour before a lecture starts.
There are usually many more irregular commitments.

whether it takes place.

Monday	11-12	Lecture: Computability Theory (Glyn-B)
	12:30-approx. 13:30	Lunch
Tuesday	12-13	Lecture: Interactive Theorem Proving (Far-B)
	12:30-approx. 13:30	Lunch (in case lecture is cancelled)
	14-15:30	Seminar/Collquium, usually Robert-Recorde Room (RR).
		Check at the Colloquium home page,
		whether it takes place
		Seminars/Colloquia usually take longer and afterwards
		AGS might be involved in important discussions in the RR.
Wednesday	12:30-approx. 13:30	Lunch
	15:00-16:30	PhD Seminar (Hauptseminar) Usually Board Room
		Check at the Hauptseminar webp page whether it takes place.
Thursday	11-12	Lecture: Computability Theory (Glyn-E)
	12-13	Lecture: Interactive Theorem Proving (Far-C)
	12:30-approx. 13:30	Lunch (if any lectures are cancelled)
	14-15:30	PCV Seminar or Algebraic Specification Seminar, usually Robert-Recorde Room (RR) or Board Room (BR).
		Check at the PCV Seminar and the Algebraic Specification Seminar pages
		whether it takes place
		(The colloquium only occasionally takes place on Thursday instead of Tuesday;
		The PCV seminar regularly takes place on Thursday)
		Seminars/Colloquia usually take longer and afterwards
		AGS might be involved in important discussions in the RR or BR.
Friday	12:30-approx. 13:30	Lunch

Last modified: Wed Feb 1 02:00:33 GMT 2006