Appel à présentation et inscriptions:
=======================================
Journées du GT Calculabilités
En ligne, via Zoom
Du 1er au 3 septembre 2021
=======================================
Les journées du GT Calculabilités du GdR Informatique Mathématique auront lieu du mercredi 1er au vendredi 3 septembre 2021 en ligne.
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.
Merci de vous faire connaître:
– Si vous souhaitez présenter des travaux
– Ou si vous comptez y assister
Les détails seront mis en ligne au fur et à mesure sur
https://gtc2020.sciencesconf.org(Il s’agit bien du site 2021)
En espérant vous voir nombreux !
Ludovic Patey