Journées Calculabilités 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). L’inscription est obligatoire (et ouverte !) :

https://gtc2019.sciencesconf.org/

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.