CORDIS · 101170308 · HORIZON
HOTT Higher Observational Type Theory
Coordinator: EOTVOS LORAND TUDOMANYEGYETEM (HU)
Recent advancements have enabled proof asistants to formally verify world-class mathematics: the liquid tensor experiment, the four colour theorem and the odd order theorem were formalised. Computer checked arguments are important for mathematicians who want to be certain their reasoning is sound, and for computer scientists to prevent bugs in safety critical software. Examples are formally verified parts of Google's Chrome web browser and verified implementations of the C and ML programming languages.At the core of these formalisations lies type theory, upon which proof assistants are built.…
About Horizon Europe (2021–2027)
Horizon Europe is the EU's current research and innovation programme, covering 2021 to 2027 with a budget of roughly €95.5 billion. Its three pillars are Excellent Science (frontier research and mobility), Global Challenges and European Industrial Competitiveness (mission-driven collaborative projects in health, climate, digital, security and food) and Innovative Europe (the EIC and EIT). It also funds five EU Missions targeting cancer, climate adaptation, smart cities, oceans and soils.
EU contribution: €1.9M awarded to the consortium. The project runs over approximately 5 years from 2025-05-01 to 2030-04-30.
Full record on CORDIS — partners, deliverables, publications, news.
Open on cordis.europa.eu → Grant DOI ↗More from HU
see all →- HCEMM — Establishing the Hungarian Center of Excellence for Molecular Medicine in partnership with EMBL739593 · H2020 · €15.0M
- EPIC — Centre of Excellence in Production Informatics and Control739592 · H2020 · €10.9M
- DYNASNET — Dynamics and Structure of Networks810115 · H2020 · €9.3M
- DALIA — Danube Region Water Lighthouse Action101094070 · HORIZON · €8.5M
- DETERMINISTIC6G — DETERMINISTIC E2E COMMUNICATION WITH 6G101096504 · HORIZON · €5.5M
- MOMENTUM PPDF — Momentum Premium Postdoctoral fellowship101179854 · HORIZON · €5.0M
Other HORIZON projects
see all →- EUROfusion — Implementation of activities described in the Roadmap to Fusion during Horizon Europe through a joint programme of the members of the EUROfusion consortium101052200 · DE · €549.4M
- EITUM-BP26-28 — EIT Urban Mobility Business Plan 2026-2028101269525 · ES · €206.9M
- PARC — Partnership for the Assessment of Risks from Chemicals101057014 · FR · €200.0M
- EIT RM BP23-25 — EIT RawMatrials Business Plan 2023-2025101113034 · DE · €155.5M
- SGA1-HE — COST: Europe's most empowering research programme Strengthening science and innovation through research networking101052416 · BE · €153.0M
- EIT HEI — EIT Higher Education Initiative - Scaling Europe’s Innovation Ecosystems101270329 · DE · €130.0M
Frequently asked questions
- Who funds this research project?
- This project is funded by the European Union through the Horizon Europe (2021–2027) programme, under the HORIZON-ERC funding scheme.
- What is the EU contribution?
- The European Commission contributes €1.9M toward a total project budget of €1.9M.
- Which EU programme funds it?
- The project is funded under Horizon Europe (2021–2027), call ERC-2024-COG.
- Who coordinates the project?
- The project is coordinated by EOTVOS LORAND TUDOMANYEGYETEM (HU).
- What is the project timeline?
- The project runs from 2025-05-01 to 2030-04-30 — approximately 5 years.
- Where can I find the full project record?
- The complete record — partners, deliverables, publications and news — is published on CORDIS under project ID 101170308.