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).