Obiettivo 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. Campo scientifico natural sciencesmathematicspure mathematicstopologynatural sciencesmathematicspure mathematicsalgebranatural sciencescomputer and information sciences Parole chiave Constructive Algebra Constructive Analysis Constructive Reverse Mathematics Constructive Topology Program Extraction from Formal Proofs Programma(i) FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Argomento(i) FP7-PEOPLE-IRSES-2008 - Marie Curie Action "International Research Staff Exchange Scheme" Invito a presentare proposte FP7-PEOPLE-IRSES-2008 Vedi altri progetti per questo bando Meccanismo di finanziamento MC-IRSES - International research staff exchange scheme (IRSES) Coordinatore LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN Contributo UE € 57 600,00 Indirizzo GESCHWISTER SCHOLL PLATZ 1 80539 Muenchen Germania Mostra sulla mappa Regione Bayern Oberbayern München, Kreisfreie Stadt Tipo di attività Higher or Secondary Education Establishments Contatto amministrativo Peter Schuster (Dr.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato