Journée du GT Calculabilités du GDR IM 2021

En raison de l'épidémie de Covid-19, les journées calculabilités ont lieu en ligne

 En raison du faible nombre de présentations, les journées calculabilités auront lieu le vendredi 3 septembre

La journées du GT Calculabilités du GDR Informatique Mathématique aura lieu le vendredi 3 septembre en ligne.

Elles auront lieu par Zoom au lien suivant :

https://us02web.zoom.us/j/89852275143?pwd=N2JNdTRrMEdMcTlBVGJ1Y2QyUElRZz09

 

Cette journée a 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.

Programme

Le programme est disponible ici.

Inscription

L'inscription est gratuite mais obligatoire.

Organisateurs

Sponsors

Personnes connectées : 1