SPECKER-AT-90 Schedule
Friday, October 29
09.30 Registration Colloquium
-
-
10.20 - 11.00 N. Hungerbühler,
Remarks on polyfunctions
Coffee break
-
11.20 - 12.00 E. Fischer,
Modular recurrence relations for combinatorial sequences:
Reflections on a Theorem of C. Blatter and E. Specker
-
12.10 - 12.50 A. Blass,
Developments from Specker's work in and near set theory
Lunch break
-
14.30 - 15.10 E. Grädel,
Simple Winning Strategies for Banach Mazur-Games on Graphs
-
15.20 - 16.00 R. Kossak,
The Mac Dowell-Specker Theorem
Social Program
16.10 - 17.30: Tea in the Commons Room of FIM
19.00 Apero and Banquet
Saturday, October 30
-
10:00-10:40 K. Tent and M. Ziegler,
Computable functions on the reals
Coffee break
-
11:00-11:40 S. Wolf,
The Kochen-Specker Theorem and Quantum Non-Locality
-
11:50-12:30 H. Gaifman,
A simple semantic modeling of the
Principia and its non-standard models
Lunch break
-
14:00-14:40 M. Fürer,
How Fast can we multiply?
Coffee break
-
15:00-15:40 J. Flum,
On optimal proof systems and logics for PTIME
16:00 End