mathematical logic
72 проекта
HEИндивидуална стипендия2026–2028Обединеното кралство
Aztec RHP · The Riemann-Hilbert approach to the Aztec Diamond
HEИндивидуална стипендия2026–2028Португалия
DiophantineEquations · Generalized Fermat equations, Darmon's program and Hypergeometric motives
HEИндивидуална стипендия2026–2028Чехия
HiDimAFOL · Higher Dimensional Aspects of First-Order Logic
HEИндивидуална стипендия2026–2028Нидерландия
AXIOMS · Paradoxicality and Semantic Notions: Philosophical and Axiomatic Foundations.
2 партньори · 2 държави
HEИндивидуална стипендия2025–2027Унгария
TopAspOfGDST · Topological aspects of Generalized Descriptive Set Theory
2 партньори
HEИндивидуална стипендия2025–2027Франция
LSDAP · Linking Synchronic and Diachronic Analysis of Paradigms
2 партньори · 2 държави
HEИндивидуална стипендия2025–2027Италия
CPQM · Collapse Points Quantum Mechanics
HEИндивидуална стипендия2024–2026Австрия
REMODEL · Structures for modal and deontic logics
HEИндивидуална стипендия2024–2026Франция
GENESYS · from Generalised hydrodynamics to new Effective descriptions of NonEquilibrium quantum SYStems
5 партньори · 2 държави
HEИндивидуална стипендия2024–2026Испания
CatT · Cohomology and the transfinite
HEИндивидуална стипендия2023–2025Чехия
DeepIsaHOL · Reinforcement learning to improve proof-automation in theorem proving
HEИндивидуална стипендия2023–2025Италия
Poly2Adapt · Quantifying polygenic selection in real-time adaptation to climate change
2 партньори
HEИндивидуална стипендия2022–2024Испания
RaDiCHAPDE · Rectifiability and Density in Carnot and Homogeneous Groups, and Applications to Partial Differential Equations
HEИндивидуална стипендия2022–2024Германия
Hilbert5th vs models · Model theory, locally compact groups and solution of Hilbert's 5th problem
2 партньори
HEИндивидуална стипендия2022–2024Нидерландия
CYDER · CYclic DErivations for Recursive operators
H2020Индивидуална стипендия2021–2023Франция
Coqaml · Verified Extraction from Coq to OCaml with GADTs
H2020Индивидуална стипендия2021–2023Франция
FINTOINF · Generalised Tree Automata, Monadic Second Order Logic and Transfer Principles in Combinatorial Limits
H2020Обмен на изследователи2021–2026Испания
MOSAIC · Modalities in Substructural Logics: Theory, Methods and Applications
35 партньори · 14 държави
H2020Индивидуална стипендия2020–2022Дания
BCFS · Beyond Colours and Flavours on Supercomputers
H2020Индивидуална стипендия2020–2022Франция
IPOA · Independence Phenomena in Operator Algebras
H2020Индивидуална стипендия2020–2022Обединеното кралство
MCT · Metacomputational Complexity Theory
H2020Индивидуална стипендия2020–2023Обединеното кралство
DEFGROUP · Definable and pseudofinite groups
H2020Индивидуална стипендия2020–2022Испания
SAIFIA · Strong Axioms of Infinity: Frameworks, Interactions and Applications
H2020Индивидуална стипендия2020–2022Обединеното кралство