Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

FP7

THFTPTP

Project reference: 219982
Funded under

An Infrastructure for Typed Higher-order Form Automated Theorem Proving

From 2008-07-15 to 2009-09-14, closed project

Project details

Total cost:

EUR 130 109,59

EU contribution:

EUR 130 109,59

Coordinated in:

Germany

Call for proposal:

FP7-PEOPLE-2007-4-2-IIFSee other projects for this call

Funding scheme:

MC-IIF - International Incoming Fellowships (IIF)

Objective

Related information

Coordinator

UNIVERSITAT DES SAARLANDES
Germany
CAMPUS
66123 SAARBRUCKEN
Germany
Administrative contact: Corinna Hahn
Tel.: +49 681 95 92 33 62
Fax: +49 681 95 92 33 70
E-mail
Record Number: 88314 / Last updated on: 2015-03-09