Veuillez nous excuser en cas d’envoi multiples.
=========================================================
JOURNÉES CALCULABILITÉS 2021 – 3-5 novembre 2021
Château de Valrose, Nice
=========================================================
Journées du GT Calculabilités du GdR Informatique Mathématique
Après les journées virtuelles du GT qui ont eu lieu début septembre à Lyon, nous organisons les journéees physiques du GT à l’Université de Nice Sophia-Antipolis. Elles auront lieu du mercredi 3 au vendredi 5 novembre 2021 au Château de Valrose.
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.
Si vous souhaitez y participer, merci de vous inscrire rapidement (maintenant par exemple) sur le site web.
Si vous souhaitez y présenter un exposé, merci de vous faire connaitre auprès des trois organisateurs : Enrico Formenti enrico.formenti@unice.fr, Bruno Durand bruno.durand@lirmm.fr, Grégory Lafitte g.th.lafitte@gmail.com
Les exposés sont aussi l’occasion pour les plus jeunes (pré-doctorants, doctorants, post-doctorants) de présenter leur travaux et de faire connaissance avec les différents domaines du GT. Toutes les propositions en lien avec la thématique sont les bienvenues. N’hésitez pas à proposer des exposés.
Orateurs confirmés :
- Olivier Bournez (à confirmer)
- Julien Cervelle (tutoriel)
- Bruno Durand
- Enrico Formenti (tutoriel)
- Grégory Lafitte
- Ludovic Patey (tutoriel)
===============================
https://gtc2021.sciencesconf.org/
===============================
L’inscription est OBLIGATOIRE mais GRATUITE !
En espérant vous voir nombreux à Nice au Château !