On Friday the 6th of March the Institute for Logic, Language and Computation
the Arend Heyting Foundation is organising a memorial
event in honour of Anne Troelstra.
|09:30 - 09:35
|09:35 - 10:35
Sheaves and intuitionistic mathematics
|10:35 - 11:00
|11:00 - 12:00
Thinking again about Choice Sequences
|12:00 - 13:30
|13:30 - 14:30
||Joan Rand Moschovakis
Patterns and Principles in Troelstra's Metamathematical Work
|14:30 - 15:30
||Jaap van Oosten
|15:30 - 16:00
|16:00 - 17:00
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
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
See this map for a more detailed view.
Please contact Benno van den Berg in case you have questions about this event.