Arend Heyting Stichting

Programme

Oostindisch Huis, VOC-zaal

10.00-11.00   Constructive set theory - an overview (abstract)(slides)
    Benno van den Berg
  Coffee-Break  
11.30-12.30   Constructive Taxonomy (abstract)(slides)
    Joan Rand Moschovakis
  Lunch  
14.00-15.00   The structure of constructive proofs (abstract)(slides)
    Rosalie Iemhoff
 
Tinbergenzaal, Trippenhuis

16.00-18.00   Arend Heyting Lecture
    The Church-Turing Thesis and Relative Recursion (abstract)(slides)
    Yiannis Moschovakis