Constructive mathematics: Proof and computation
Time: Tue 2009-11-24 10.15 - 17.30
Location: Ångströmlaboratoriet, Polacksbacken, Uppsala university
Contact:
Erik Palmgren
018-471 3285
Subject area: 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.