25-27 Nov 2019 Florence (Italy)

Computability days 2019

The 2019 computability days of GdR IM will take place in villa Finaly o, Florence, Italy from November 25th to 27th.

The aim of these days is to gather French and foreign researchers interested in computabilities:
  • Classical computability (reductions, degrees, priority methods, ...)
  • Other computation models: geometrical models (tilings, cellular automata ...), algebraic models (Abstract State Machines), dynamical and distributed models (sand piles, population protocols, ...), continuous time computation, ordinal time computation, computation on infinite structures (reals, orders...).
  • Applications and interactions of computability with the following fields: constructive/computable mathematics, cryptology, virology, information theory, randomness, Kolmogorov complexity, algorithmic complexity, model theory,  proof theory, reverse mathematics, set theory, domain theory.

We may be able to fund some PhD students and young postdocs, please send an email to Pascal Vanier if you are interested.

Registration

Registration is mandatory, the conference will take place in villa finaly, which can host participants (around 80€ per night).

Organizers

Julien Cervelle, Benoit Monin, Pascal Vanier

Online user: 6