Anne Troelstra Memorial Event 2020
Amsterdam, 6 March 2020
Anne Troelstra (1939-2019)
On Friday the 6th of March the Institute for Logic, Language and Computation together with the Arend Heyting Foundation is organising a memorial event in honour of Anne Troelstra.
Programme
| 09:30 - 09:35 | Welcome |
| 09:35 - 10:35 | Ieke Moerdijk Sheaves and intuitionistic mathematics |
| 10:35 - 11:00 | Coffee break |
| 11:00 - 12:00 | Martin Hyland Thinking again about Choice Sequences [slides] |
| 12:00 - 13:30 | Lunch |
| 13:30 - 14:30 | Joan Rand Moschovakis Patterns and Principles in Troelstra's Metamathematical Work [slides] |
| 14:30 - 15:30 | Jaap van Oosten Scott realizability |
| 15:30 - 16:00 | Coffee Break |
| 16:00 - 17:00 | Ulrich Kohlenbach The role of intuitionistic reasoning in the development of the proof mining methodology [slides] |
| 17:00 - 18:00 | Drinks at the ILLC Common room |
Organisers
This event is organised by Benno van den Berg, Dick de Jongh and Peter van Ormondt
Directions
The workshop will take place in the Euler room at the Amsterdam Science Park Congress Centre. The entrance is at Science Park 125, 1098 XG, in the CWI building.The drinks will take place in the ILLC Common room at Science Park 107, 1098 XG Amsterdam.
See this map for a more detailed view.