Innovating Works

MATHFOR

Financiado
Cerrado
Formalization of Constructive Mathematics
The general theme is to explore the connections between reasoning and computations in mathematics. There are two main research directions. The first research direction is a refomulation of Hilbert's program, using ideas from forma... ver más
31/03/2015
UGOT - GOETEBORGS...
2M€
Presupuesto del proyecto: 2M€
ver más
Líder del proyecto
GOETEBORGS UNIVERSITET No se ha especificado una descripción o un objeto social para esta compañía.
TRL 4-5
Fecha límite participación Sin fecha límite de participación.
Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2015-03-31 No tenemos la información de la convocatoria
0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.