Journées du GT Calculabilités 2022

Ces journées ont pour but de rassembler des chercheurs de France et d'ailleurs autour de la notion de calculabilité au sens très large du terme. Cela inclut notamment :

• Calculabilité classique (réductions, degrés, méthodes de priorité, etc.)
• Autres modèles de calculs : modèles géométriques (pavages, machines à signaux), modèles algébriques (Abstract State Machines), modèles dynamiques et distribués (automates cellulaires, protocoles de population, tas de sable, etc), calcul à temps continu, calcul à temps ordinal, calcul sur les structures infinies (réels, ordres)
• Applications et interactions de la calculabilité avec les domaines suivants: mathématiques constructives/calculables, cryptologie, virologie, théorie de l'information et de l'aléatoire (complexité de Kolmogorov), complexité algorithmique, théorie des modèles, théorie de la preuve et mathématiques à rebours, théorie des ensembles (modèles intérieurs, forcing, théorie descriptive, détermination), théorie des domaines.

Cette rencontre aura lieu au Loria à Nancy, du 10 au 11 octobre 2022.

Informations pratiques :

• Les exposés auront lieu en salle C005.
• Déjeuner du mardi 11 octobre à la cantine du LORIA.
• Dîner de conférence au Grand Café Foy le lundi 10 octobre à 19h30. Le restaurant est situé sur la place Stanislas, près de l'arrêt de tram "Point Central".