6 February 2004, Symposium 'Philosophy of Constructive Type Theory', Room 148, WSD-Building 1175, Leiden University

11.00-12.30: Per Martin-Löf (Stockholm), 'Sets, Types and Categories'
14.00-15.00: B. G. Sundholm( Leiden), 'Three Key Features of Martin-Löf's Philosophy of Logic: Content, Judgement, First-Person Perspective?
15.00-16.00: A. Ranta (Gothenburg), 'Language: A Type-Theoretical View'
16.30-17.30: M. Bourdeau (MSH, Paris), 'Categories, Types, and Constructive Reference'
17.30-18.30: Guido Löhrer (Bern), 'On Ends and Means - Constructive Type Theory as a Guide for Historical and Systematical Interpretation'.