discrete mathematics

REMODEL · Structures for modal and deontic logics

GENESYS · from Generalised hydrodynamics to new Effective descriptions of NonEquilibrium quantum SYStems

5 partners · 2 countries

CatT · Cohomology and the transfinite

RAND-COMB-DESIGN · Random Combinatorial Designs

EXCICO · Extremal Combinatorics and Circuit Complexity

2 partners · 2 countries

MapSurf · Combinatorial and Geometric Methods for Mapping Class Groups of Surfaces

2 partners · 2 countries

DeepIsaHOL · Reinforcement learning to improve proof-automation in theorem proving

Poly2Adapt · Quantifying polygenic selection in real-time adaptation to climate change

2 partners

RaDiCHAPDE · Rectifiability and Density in Carnot and Homogeneous Groups, and Applications to Partial Differential Equations

Hilbert5th vs models · Model theory, locally compact groups and solution of Hilbert's 5th problem

2 partners

MultNT · Interplay of multiplicative number theory and additive combinatorics

DimDyn · Dimension and Dynamics

CYDER · CYclic DErivations for Recursive operators

MIDEHA · Minimum degree conditions for tight Hamilton cycles and spanning spheres

BrainTree · Evolution of neuroanatomical diversity: A phylogenetic comparative analysis across vertebrates using MRI.

DQC · Diagrammatic Quantum Computation

Coqaml · Verified Extraction from Coq to OCaml with GADTs

DesignerCells · Building a causal regulatory network of mesenchymal cells using targeted programming experiments

ClaVa · Clausal forms for Vague information processing

KPZcomb · The combinatorics of KPZ at positive temperature

NONLOCQUANT · Nonlocality in quantum groups

QUILCON · Quillen's Conjecture

LASTING · LArge STructures IN random Graphs

FINTOINF · Generalised Tree Automata, Monadic Second Order Logic and Transfer Principles in Combinatorial Limits