Chargement Évènements

« Tous les Évènements

  • Cet évènement est passé

Journées GT Calculabilités 2015

27 avril 2015 @ 0 h 00 min - 28 avril 2015 @ 0 h 00 min

Les premières rencontres du GT Calculabilités auront lieu les 27 et 28 avril à l’IUT de Fontainebleau. Les principaux thèmes de ces rencontres sont les suivants:

  • 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

http://www.lacl.fr/~pvanier/gtc2015/

Détails

Début :
27 avril 2015 @ 0 h 00 min
Fin :
28 avril 2015 @ 0 h 00 min
Catégories d’évènement:
,