CTCS'04 - Summer School Program
Monday  August 9th
	Time	Event
	8:30-9:00	Coffee and registration
	9:00-10:45	Lecture 1-2: Game Semantics Guy McCusker
	11:00-12:45	Lecture 1-2: Coalgebras, Modal Logic and Stone Duality Alexander Kurtz
	12:45-14:00	Lunch
	14:00-15:45	Lecture 1-2: Operational Semantics Pawel Sobocinski
	16:00-17:45	Lecture 1-2: Categorical Models for Concurrency Thomas Hildebrandt
Tuesday August 10th
	Tid	Event
	9:00-10:45	Lecture 3-4: Categorical Models for Concurrency Thomas Hildebrandt
	11:00-12:45	Lecture 3-4: Operational Semantics Pawel Sobocinski
	12:45-14:00	Lunch
	14:00-15:45	Lecture 3-4: Coalgebras, Modal Logic and Stone Duality Alexander Kurtz
	16:00-17:45	Lecture 3-4: Game Semantics Guy McCusker
	19:00-21:00	Pizza-night and Student Presentations
Wednesday August 11th
	Tid	Event
	9:00-9:45	Lecture 5: Operational Semantics Pawel Sobocinski
	10:00-10:45	Lecture 5: Game Semantics Guy McCusker
	11:00-11:45	Lecture 5: Coalgebras, Modal Logic and Stone Duality Alexander Kurtz
	12:00-12:45	Lecture 5: Categorical Models for Concurrency Thomas Hildebrandt
	12:45-14:00	Lunch