
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.- Email: organisation[at]calculabilite.fr