The main subject of the meeting is the intuitionistic type theory that Per Martin-Löf started developing in 1970. This is reflected in the festive title of the meeting, but the organizers also wanted some related developments to be taken into account at the meeting. The program displays the various points of view from which type theory has been approached, including logic and foundations of mathematics, computing science, philosophy and linguistics.
Two and a half days of talks were followed by a round table discussion on the background and possible future lines of development of type theory. A list of speakers and discussants follows.
Program committee: Giovanni Sambin, chair (University of Padua), Furio Honsell (University of Udine), Jan Smith (Chalmers University), Goran Sundholm (University of Leiden), Jan von Plato (University of Helsinki).
Invited speakers: Peter Aczel, Stefano Berardi, Rod Burstall, Thierry Coquand, Martin Hofmann, Petri Maenpaa, Lena Magnusson, Per Martin-Löf, Christine Paulin, Aarne Ranta, Anton Setzer, Goeran Sundholm, William Tait, Silvio Valentini, Dirk van Dalen.
Round table: N. G. de Bruijn, Robert L. Constable, Jean-Yves Girard