Starts 11 Aug 2008
Ends 29 Aug 2008
Central European Time
Summer School and Conference Mathematics, Algorithms and Proofs | (smr 1958)
Trieste - Italy
Leonardo da Vinci Building Main Lecture Hall
Organizers
Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche