Ces journées s'adressent à toute personne intéressée par la théorie du calcul et ses différents modèles.

Thèmes

Les principaux thèmes de ces rencontres sont les suivants:

Calculabilité Turing (degrés, réductions)
Modèles de calculs dynamiques (automates cellulaires, pavages, protocoles de population, etc)
Modèles de calculs physiques et biologiques
Modèles de calculs algébriques (abstract state machines, etc)
Théorie algorithmique de l'information
Analyse et algèbre effectives, systèmes dynamiques
... et leurs liens avec d'autres disciplines (logique, complexité, complexité implicite, cryptologie, virologie, théorie des ensembles, mathématiques à rebours, etc)

Contact

Ces journées sont organisées par Laurent Bienvenu, Rupert Hölzl, Grégory Lafitte, Benoît Monin et Antoine Taveneaux.