mathematical logic
72 проекта
H2020Индивидуална стипендия2019–2021Обединеното кралство
AMPLE · A Study of the Notion of Ampleness in Model Theory and Tits Buildings
H2020Индивидуална стипендия2019–2021Италия
FunSilting · Functorial techniques in silting theory
H2020Индивидуална стипендия2018–2020Франция
PolyBar · A new approach to polymorphism through bar recursion
H2020Индивидуална стипендия2018–2021Обединеното кралство
InfCSP · Descriptive Complexity of Infinite Domain Constraint Satisfaction Problems
H2020Индивидуална стипендия2018–2021Обединеното кралство
IMIC · Inner models and infinite computations
H2020Индивидуална стипендия2018–2019Дания
ChromoCats · The geometry of chromatic categories
H2020Индивидуална стипендия2017–2019Дания
MiLC · Monotonicity in Logic and Complexity
H2020Индивидуална стипендия2017–2019Обединеното кралство
TeleoLogic · Logical and Psychological Foundations for a Teleosemantic Theory of Productivity
H2020Индивидуална стипендия2017–2019Обединеното кралство
RoSTBiDFramework · Optimised Framework based on Rough Set Theory for Big Data Pre-processing in Certain and Imprecise Contexts
2 партньори
H2020Индивидуална стипендия2017–2019Германия
REGPROP · Regularity properties, definability and combinatorics on the real line.
H2020Индивидуална стипендия2017–2019Обединеното кралство
GROUPNIP · Model theory of groups in NIP theories
H2020Индивидуална стипендия2016–2018Германия
PACT · Proof-theoretical Approaches to Concurrency Theory
H2020Индивидуална стипендия2016–2018Обединеното кралство
TREPISTEME · Formal Truth in Epistemology
H2020Индивидуална стипендия2016–2018Германия
SLMK · The Scope and Limits of Mathematical Knowledge
H2020Индивидуална стипендия2016–2018Нидерландия
RGDQG · Renormalisation Group methods for discrete Quantum Gravity
H2020Индивидуална стипендия2016–2018Нидерландия
DFLOW · Duality For Logic On Words
2 партньори · 2 държави
H2020Индивидуална стипендия2016–2017Германия
FOREMOTIONS · Formal Frameworks for Modal Notions Conceived as Predicates
H2020Индивидуална стипендия2016–2018Обединеното кралство
MODFIN · Model theory of finite and pseudofinite structures
H2020Индивидуална стипендия2015–2017Австрия
PAnaMoL · Proof-theoretic Analysis of Modal Logics
H2020Индивидуална стипендия2015–2017Обединеното кралство
SkillUp · Skill development and firm upgrading to sustain the competitiveness of the EU manufacturing sector
H2020Индивидуална стипендия2015–2018Испания
CEREBSENSING · Cerebellar Distributed Plasticity Towards Active Sensing and Motor Control
FP7Индивидуална стипендия2012–2015България
STRIDE · The Spectrum of Relative Definability
FP7Обмен на изследователи2011–2015Италия
MATOMUVI · Mathematical Tools for the Management of Uncertain and Vague Information
8 партньори · 3 държави
FP7Реинтеграция2011–2014Гърция