CSL'02 Preliminary Programme
Last significant change to programme on 17/09/02
Note: The talks by Max Kanovich and M. Andrew Moshier have
been swapped from the order in the Proceedings, owing to travel
difficulties experienced by Max Kanovich.
Saturday 21 September
Tutorials will be held in the Lorimer Room.
10:00 - 12:30
Mu-calculi tutorial
Julian Bradfield. (Coffee break included)
14:00 - 16:30
Parametrized complexity tutorial
Martin Grohe. (Coffee break included)
19:00 - 21:00
Welcome reception in the Talbot Rice Gallery.
Sunday 22 September
08:30 - 09:20
Arrival, registration.
09:20 - 09:30
Opening.
09:30 - 10:30 (Chair: Alex Simpson)
Limit-Computable Mathematics and its Applications
Susumu Hayashi
10:30 - 11:00 (Chair: Alex Simpson)
11:00 - 11:30
Break
11:30 - 13:00 (Chair: Thorsten Altenkirch)
13:00 - 14:30
Lunch - provided in the Chapter House Restaurant.
14:30 - 16:00 (Chair: Susumu Hayashi)
16:00 - 16:30
Break
16:30 - 18:00 (Chair: Simone Martini)
Monday 23 September
09:00 - 10:00 (Chair: Peter Buneman)
Automata, Logic, and XML
Frank Neven
10:00 - 10:30 (Chair: Peter Buneman)
10:30 - 11:00
Break
11:00 - 12:30 (Chair: Javier Esparza)
12:30 - 14:30
Break for lunch (not provided).
14:30 - 16:00 (Chair: Clemens Lautemann)
16:00 - 16:30
Break.
16:30 - 18:00 (Chair: Frank Neven)
18:00 - 19:30 (Chair: Marc Bezem)
EACSL Business Meeting
Tuesday 24 September
09:00 - 10:00 (Chair: Julian Bradfield)
Mu-calculus via Games
Damian Niwinski
10:00 - 10:30 (Chair: Julian Bradfield)
10:30 - 11:00
Break.
11:00 - 13:00 (Chair: Anuj Dawar)
Free afternoon. (Lunch not provided)
Evening
Conference dinner at The Dome, George Street.
Cocktail bar from 19:00 to 19:30; dinner served at 19:45.
Wednesday 25 September
09:30 - 11:00 (Chair: Josh Hodas)
11:00 - 11:30
Break.
11:30 - 13:00 (Chair: Albert Atserias)
13:00 - 14:30
Lunch in the Chapter House Restaurant.
14:30 - 16:00 (Chair: Roy Dyckhoff)
16:30 - 18:00 (Chair: Janos Makowsky)
Approx 19:00 - 23:00
Beer and Skittles in the Sheep Heid Inn, Duddingston.
Change history
20/09/02 identified speaker.
19/09/02 identified speaker.
18/09/02 Session chair; identified speakers where known.
17/09/02 Session chairs.
17/09/02 Swapped talks by Kanovich (now Monday 11:00) and
Moshier (now Sunday 10:30).
17/09/02 Added tutorial, reception, dinner timings.
29/08/02 Changed Sunday/Wednesday timings, added lunches, added
Wednesday event.
15/07/02 Swapped the 15:30 and 17:00 talks
on Wednesday: now Nowak at 15:30 and de Nivelle at 17:00.