discrete mathematics
175 projects
H2020Individual fellowship2018–2022Germany
QuasiHyp · Quasi-random hypergraphs
2 partners · 2 countries
H2020Individual fellowship2018–2020France
PolyBar · A new approach to polymorphism through bar recursion
H2020Individual fellowship2018–2021United Kingdom
InfCSP · Descriptive Complexity of Infinite Domain Constraint Satisfaction Problems
H2020Individual fellowship2018–2021United Kingdom
IMIC · Inner models and infinite computations
H2020Individual fellowship2018–2019Denmark
ChromoCats · The geometry of chromatic categories
H2020Individual fellowship2018–2019United Kingdom
SREACEP · Sparse Robust Expander with Applications in Combinatorial Embedding Problems
H2020Individual fellowship2017–2019United Kingdom
MAGNET · Models and Algorithms for Graph centrality grounded on Nonlinear Eigenvalues Techniques
H2020Individual fellowship2017–2019Denmark
MiLC · Monotonicity in Logic and Complexity
H2020Individual fellowship2017–2019United Kingdom
HSPLS · Highly symmetric partial linear spaces
H2020Individual fellowship2017–2019United Kingdom
TeleoLogic · Logical and Psychological Foundations for a Teleosemantic Theory of Productivity
H2020Individual fellowship2017–2019United Kingdom
RoSTBiDFramework · Optimised Framework based on Rough Set Theory for Big Data Pre-processing in Certain and Imprecise Contexts
2 partners
H2020Staff exchange2017–2022Spain
CONNECT · Combinatorics of Networks and Computation
14 partners · 8 countries
H2020Individual fellowship2017–2019Spain
CoTraDy · Combinatorics in Transcendental Dynamics
H2020Individual fellowship2017–2019Germany
REGPROP · Regularity properties, definability and combinatorics on the real line.
H2020Individual fellowship2017–2019United Kingdom
GROUPNIP · Model theory of groups in NIP theories
H2020Individual fellowship2017–2019United Kingdom
SYNERGINFO · Developments on the relevance of SYNERGistic INFOrmation sharing modes
H2020Individual fellowship2016–2018Germany
PACT · Proof-theoretical Approaches to Concurrency Theory
H2020Individual fellowship2016–2018United Kingdom
TREPISTEME · Formal Truth in Epistemology
H2020Individual fellowship2016–2018Germany
SLMK · The Scope and Limits of Mathematical Knowledge
H2020Individual fellowship2016–2019Germany
EngageME · Automated Measurement of Engagement Level of Children with Autism Spectrum Conditions during Human-robot Interaction
3 partners · 2 countries
H2020Individual fellowship2016–2017Israel
SMAC · Smart Markets via Computation
H2020Individual fellowship2016–2018Netherlands
RGDQG · Renormalisation Group methods for discrete Quantum Gravity
H2020Individual fellowship2016–2018Netherlands
DFLOW · Duality For Logic On Words
2 partners · 2 countries
H2020Individual fellowship2016–2017Germany