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

2008MAP smr1958 at ictp.it
Wed Aug 6 08:56:32 CEST 2008


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.




More information about the science-ts mailing list