25-27 nov. 2019 Florence (Italie)

Journées du GT Calculabilités du GDR IM 2019

Les journées du GT Calculabilités du GdR Informatique Mathématique auront lieu du 25 au 27 novembre 2019 à la Villa Finaly à Florence (Italie).

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.

Le GT peut financer la venue d'un ou deux doctorants, veuillez contacter Pascal Vanier pour plus d'informations.

Inscriptions

L'inscription est obligatoire via ce site, la villa finaly dispose de 25 chambres :

  • 60 à 70€ pour des chambres standard
  • 80 à 120€ pour les chambres "historiques"

Il est bien sûr possible de prendre une chambre dans un hôtel à Florence, la villa étant désservie par le bus 25.

Organisateurs

Julien Cervelle, Benoit Monin, Pascal Vanier

Personnes connectées : 5