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.


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
12:00 - 13:30 Lunch
13:30 - 14:30 Joan Rand Moschovakis
Patterns and Principles in Troelstra's Metamathematical Work
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
17:00 - 18:00 Drinks at the ILLC Common room


This event is organised by Benno van den Berg, Dick de Jongh and Peter van Ormondt


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.


Please contact Benno van den Berg in case you have questions about this event.