| 9:00-9:10 | Juliette Kennedy | Opening |
|---|---|---|
| 9:10-10:10 | Juliet Floyd | Rigor and Infinity Abstract |
| 10:10-11:10 | Dana Scott | Applying logic to geometry Abstract |
| 11:10-11:40 | Coffee/Tea | |
| 11:40-12:40 | Hugh Woodin | Is V an ultimate version of L? Abstract |
| 12:40-13:40 | Lunch | |
| 13:40-14:40 | Ieke Moerdijk | Sheaves, Realizability and the Axiom of Multiple Choice Abstract |
| 14:40-15:40 | Michael Rathjen | The jump to impredicativity Abstract |
| 15:40-16:10 | Coffee/Tea | |
| 16:10-17:10 | Peter Aczel | The type theoretic conception of set Abstract |
| 17:10-18:40 | Jaap van Oosten (moderator) | Drinks and Panel Discussion: Aczel, Friedman, Scott, Weaver, Woodin. |
| 9:00-10:00 | Andreas Blass | Games Abstract |
|---|---|---|
| 10:00-11:00 | Alex Simpson | Pragmatic Motivations for Constructive Set Theory Abstract |
| 11:00-11:30 | Coffee/Tea | |
| 11:30-12:30 | Nik Weaver | Intuitionism and the liar paradox Abstract |
| 12:30-14:00 | Lunch | |
| 14:00-15:00 | Erik Palmgren | Set, Setoids and Groupoids. On set-like categories in type theory and set theory Abstract |
| 15:00-15:30 | Coffee/Tea | |
| 15:30-16:30 | Peter Koepke | Ordinal Orientated Set Theory Abstract |
| 16:30-17:30 | Benno van den Berg | Inductive definitions and derived rules for constructive set theory Abstract |
| 17:30-18:30 | Harvey Friedman | Three aspects of constructive set theory and beyond Abstract |
| 19:30-? | Conference Dinner |