Constructive mathematics: Proof and computation
Tid: Ti 2009-11-17 kl 13.15 - 16.15
Plats: Ångströmlaboratoriet, Polacksbacken, Uppsala university
Kontakt:
Erik Palmgren
018-471 3285
Ämnesområde: Constructive mathematics
Hajime Ishihara from Japan Advanced Institute of Science and Technology is visiting Uppsala and Institut Mittag-Leffler as part of the Marie Curie research staff exchange program CONSTRUMATH. He will give lectures on November 17 and 24. In connection with this further lectures and seminars associated to the CONSTRUMATH project will be given.