mathematical logic
72 projects
HEIndividual fellowship2026–2028United Kingdom
Aztec RHP · The Riemann-Hilbert approach to the Aztec Diamond
HEIndividual fellowship2026–2028Portugal
DiophantineEquations · Generalized Fermat equations, Darmon's program and Hypergeometric motives
HEIndividual fellowship2026–2028Czechia
HiDimAFOL · Higher Dimensional Aspects of First-Order Logic
HEIndividual fellowship2026–2028Netherlands
AXIOMS · Paradoxicality and Semantic Notions: Philosophical and Axiomatic Foundations.
2 partners · 2 countries
HEIndividual fellowship2025–2027Hungary
TopAspOfGDST · Topological aspects of Generalized Descriptive Set Theory
2 partners
HEIndividual fellowship2025–2027France
LSDAP · Linking Synchronic and Diachronic Analysis of Paradigms
2 partners · 2 countries
HEIndividual fellowship2025–2027Italy
CPQM · Collapse Points Quantum Mechanics
HEIndividual fellowship2024–2026Austria
REMODEL · Structures for modal and deontic logics
HEIndividual fellowship2024–2026France
GENESYS · from Generalised hydrodynamics to new Effective descriptions of NonEquilibrium quantum SYStems
5 partners · 2 countries
HEIndividual fellowship2024–2026Spain
CatT · Cohomology and the transfinite
HEIndividual fellowship2023–2025Czechia
DeepIsaHOL · Reinforcement learning to improve proof-automation in theorem proving
HEIndividual fellowship2023–2025Italy
Poly2Adapt · Quantifying polygenic selection in real-time adaptation to climate change
2 partners
HEIndividual fellowship2022–2024Spain
RaDiCHAPDE · Rectifiability and Density in Carnot and Homogeneous Groups, and Applications to Partial Differential Equations
HEIndividual fellowship2022–2024Germany
Hilbert5th vs models · Model theory, locally compact groups and solution of Hilbert's 5th problem
2 partners
HEIndividual fellowship2022–2024Netherlands
CYDER · CYclic DErivations for Recursive operators
H2020Individual fellowship2021–2023France
Coqaml · Verified Extraction from Coq to OCaml with GADTs
H2020Individual fellowship2021–2023France
FINTOINF · Generalised Tree Automata, Monadic Second Order Logic and Transfer Principles in Combinatorial Limits
H2020Staff exchange2021–2026Spain
MOSAIC · Modalities in Substructural Logics: Theory, Methods and Applications
35 partners · 14 countries
H2020Individual fellowship2020–2022Denmark
BCFS · Beyond Colours and Flavours on Supercomputers
H2020Individual fellowship2020–2022France
IPOA · Independence Phenomena in Operator Algebras
H2020Individual fellowship2020–2022United Kingdom
MCT · Metacomputational Complexity Theory
H2020Individual fellowship2020–2023United Kingdom
DEFGROUP · Definable and pseudofinite groups
H2020Individual fellowship2020–2022Spain
SAIFIA · Strong Axioms of Infinity: Frameworks, Interactions and Applications
H2020Individual fellowship2020–2022United Kingdom