Team “Logic, Computation and Programming”
This team organizes its works around three main research areas:
Logic
This topic focuses on

definability in first order and monadic second order logic theories,

decidability of firstorder theories of structures, and

study of maximality of decidable logical structures.
Model of Computation
The aim of this axis is to characterize different models of computation as insertion/deletion systems, cellular automata, abstract state machines and membrane systems, in terms of expressiveness power, complexity and degree of chaos.
Programming Languages
This axis focuses on

type theory and proof theory in imperative programming languages,

the formal definition of the notions of algorithm (and stepbystep simulation), and

the development of programming languages for spatial computing.