Constructive Mathematics: Proof and Computation

Objective

The proposed programme focusses on constructive analysis, algebra and topology, the extraction and implementation of programs from formal proofs, and constructive reverse mathematics. Through a network of three European and two third-country institutes, all of them among the leading groups in the relevant research, we aim at facilitating the interplay between the above branches of constructive mathematics, which range from the foundations of mathematics to real-world applications in computer science.

Field of science

• /natural sciences/mathematics
• /natural sciences/computer and information sciences

Programme(s)

• FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Topic(s)

• FP7-PEOPLE-IRSES-2008 - Marie Curie Action "International Research Staff Exchange Scheme"

Call for proposal

FP7-PEOPLE-IRSES-2008
See other projects for this call

Funding Scheme

MC-IRSES - International research staff exchange scheme (IRSES)

Coordinator

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN

Address

Geschwister Scholl Platz 1
80539 Muenchen
Germany

Activity type

Higher or Secondary Education Establishments

EU contribution

€ 57 600

Administrative Contact

Peter Schuster (Dr.)