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
- Organizer(s)
- Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche
- Secretary
- K. Mabilo
Organizers
Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche