Home Programme Directions

Workshop on Constructive Aspects of Logic and Mathematics

group photo

(supported by the Japan Advanced Institute of Science and Technology, in cooperation with the Marie Curie Actions IRSES project "Constructive Mathematics: Proof and Computation")

8 - 12 March 2010

Kanazawa (Japan)

Scope: Constructive mathematics and its related area, including intuitionistic logic and type theory, proof theory, constructive methods in logics, constructive mathematics and topology, reverse mathematics, computable mathematics, philosophy of mathematics etc.

Participants: Organizers: Hajime Ishihara, Takako Nemoto and Yasushi Sangu

For detail, please contact one of organizers.