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. Fields of science natural sciencesmathematicspure mathematicstopologynatural sciencesmathematicspure mathematicsalgebranatural sciencescomputer and information sciences Keywords Constructive Algebra Constructive Analysis Constructive Reverse Mathematics Constructive Topology Program Extraction from Formal Proofs 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 EU contribution € 57 600,00 Address GESCHWISTER SCHOLL PLATZ 1 80539 Muenchen Germany See on map Region Bayern Oberbayern München, Kreisfreie Stadt Activity type Higher or Secondary Education Establishments Administrative Contact Peter Schuster (Dr.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data
