mathematical logic
72 projects
H2020Individual fellowship2019–2021United Kingdom
AMPLE · A Study of the Notion of Ampleness in Model Theory and Tits Buildings
H2020Individual fellowship2019–2021Italy
FunSilting · Functorial techniques in silting theory
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 fellowship2017–2019Denmark
MiLC · Monotonicity in Logic and Complexity
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
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 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–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
FOREMOTIONS · Formal Frameworks for Modal Notions Conceived as Predicates
H2020Individual fellowship2016–2018United Kingdom
MODFIN · Model theory of finite and pseudofinite structures
H2020Individual fellowship2015–2017Austria
PAnaMoL · Proof-theoretic Analysis of Modal Logics
H2020Individual fellowship2015–2017United Kingdom
SkillUp · Skill development and firm upgrading to sustain the competitiveness of the EU manufacturing sector
H2020Individual fellowship2015–2018Spain
CEREBSENSING · Cerebellar Distributed Plasticity Towards Active Sensing and Motor Control
FP7Individual fellowship2012–2015Bulgaria
STRIDE · The Spectrum of Relative Definability
FP7Staff exchange2011–2015Italy
MATOMUVI · Mathematical Tools for the Management of Uncertain and Vague Information
8 partners · 3 countries
FP7Reintegration grant2011–2014Greece