Mathematics, Algorithms and Proofs (11 - 29 August 2008) - smr 1958

[2008MAP]

Summer School and Conference Mathematics, Algorithms and Proofs

Directors: T. Coquand, A. Dickenstein, T. Kadeishvili and F. Sergeraert
ICTP Local Organizer: L. Goettsche

11 - 29 August 2008

Venue: Leonardo da Vinci Building (Main Lecture Hall)

Preliminary Programme, List of Participants and General Information  
are available on the School web page: http://agenda.ictp.it/smr.php?1958

Please note, the Programme of the last week (25 - 29 August) will be  
announced at a later stage.