Summer School on Logic & Computation

From 6-9 November 2007 we will organise a Summer School on Logic & Computation that is mainly offered to students on honours, MSc or PhD level, but also open for other researchers. It will take place in the same venue as the ILC 2007 conference.

Here is a provisonal

The Summer School on Logic & Computation is co-hosted by the Meraka Institute and sponsored by Dimension Data .

Summer School Schedule

Tuesday
6 Nov
9:30 Valentin Goranko
Finitely Presentable Infinite Structures 1
10:30 Coffee Break
11:00 Joel David Hamkins
Infinite Time Computation 1
12:00 Joel David Hamkins
Infinite Time Computation 2
13:00 Lunch Break
14:30 Joel David Hamkins
Infinite Time Computation 3
15:30 Coffee Break
16:00 Benedikt Löwe
Determinacy Axioms and their Logical Strength 1
17:00 Benedikt Löwe
Determinacy Axioms and their Logical Strength 2
18:00 End of the Day
Wednesday
7 Nov
9:30 Benedikt Löwe
Determinacy Axioms and their Logical Strength 3
10:30 Coffee Break
11:00 Erich Grädel
Strategies and Algorithms for Infinite Games 1
12:00 Erich Grädel
Strategies and Algorithms for Infinite Games 2
13:00 Lunch Break
14:30 Erich Grädel
Strategies and Algorithms for Infinite Games 3
15:30 Coffee Break
16:00 Valentin Goranko
Finitely Presentable Infinite Structures 2
17:00 Valentin Goranko
Finitely Presentable Infinite Structures 3
18:00 End of the Day
Thursday
8 Nov
9:30 Willem L. Fouché
The Logic of the Smooth Topos 1
10:30 Coffee Break
11:00 Willem L. Fouché
The Logic of the Smooth Topos 2
12:00 Joseph S. Miller
Effective Randomness 1
13:00 Lunch Break
14:30 Joseph S. Miller
Effective Randomness 2
15:30 Coffee Break
16:00 Valentin Goranko
Finitely Presentable Infinite Structures 4
17:00 Vasco Brattka
Computability on the Reals 1
18:00 End of the Day
Friday
9 Nov
9:30 Willem L. Fouché
The Logic of the Smooth Topos 3
10:30 Coffee Break
11:00 Willem L. Fouché
The Logic of the Smooth Topos 4
12:00 Joseph S. Miller
Effective Randomness 3
13:00 Lunch Break
14:30 Joseph S. Miller
Effective Randomness 4
15:30 Coffee Break
16:00 Vasco Brattka
Computability on the Reals 2
17:00 Vasco Brattka
Computability on the Reals 3
18:00 End of the Day

This schedule might be subject to changes!

Summer School Lecturers
Summer School Courses

  • The Logic of the Smooth Topos (Fouché)
  • Strategies and Algorithms for Infinite Games (Grädel)
  • Infinite Time Computation (Hamkins)
  • Effective Randomness (Miller)
  • Finitely Presentable Infinite Structures (Goranko)
  • Determinacy Axioms and their Logical Strength (Löwe)
  • Computability on the Reals (Brattka)
Summer School Venue

  • Room: Lecture Theater 2 (LT2)
  • Building: Hoerikwaggo (Chemical Engineering)
  • Campus: Upper Campus (University of Cape Town)
  • Map: B/C 7/8
Registration