Les sixièmes Journées calculabilités et troisièmes rencontres officielles du GT Calculabilités du GdR Informatique Mathématique auront lieu à Orléans les 13 et 14 avril 2017. Elles sont co-localisées avec le 3e Workshop International New Worlds of Computation (NWC 2017 12 et 13 avril).
Les thèmes principaux de GT Calculabilités sont les suivants :
- Calculabilité classique : réductions, degrés, hiérarchies, méthodes de priorité.
- 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), calcul à temps continu, calcul à temps ordinal, calcul sur les structures infinies (réels, ordres).
- Applications et interactions de la calculabilité. Apport d’un cadre théorique formel à différents domaines : cryptologie, sécurité, résistance aux erreurs et aux pannes, virologie, théorie de l’information et de l’aléatoire (complexité de Kolmogorov). Interactions avec d’autres domaines : complexité algorithmique, théorie des modèles, mathématiques à rebours, théorie des ensembles (modèles intérieurs, forcing, théorie descriptive, détermination), théorie des domaines.
Concernant le Workshop International New Worlds of Computation, les questions que l'on s'y pose sont du type : Quel sera l’ordinateur de 2030 ? 2050 ? Sur quoi reposera-il ? L’électronique va-elle céder le pas à un autre médium pour l’ordinateur de Monsieur Tout-le-monde ? Pour les serveurs des nuages ? Pour les gros calculateurs ? Pour certains traitements dédiés ?
Il serait bien hasardeux de prétendre savoir quand et par quoi pourrait être remplacé, tout ou partie, nos ordinateurs électroniques. Néanmoins, les chercheurs explorent de nombreuses pistes : optique, quantique, bio-computing, chemo-computing, calcul à base d’ADN et plus généralement dans le monde nano, calcul analogique ou digital.
Le workshop s’adresse à tous les chercheurs réfléchissant aux alternatives envisageables et apportant des résultats fondamentaux comme expérimentaux. L’ambition est de permettre à une présentation des résultats les plus récents ainsi que des interactions entre des perspectives différentes.
La troisième édition de ce workshop sera co-localisée avec les journées nationales du Groupe de Travail Calculabilités du GdR Informatique Mathématique du CNRS. il permettra d'avoir un éclairage sur ce qui pourrait être envisagé pour le futur des ordinateurs. Cette double localisation permettra des rencontres nouvelles et une fertilisation croisée.
Pour faire une présentation à l'un et/ou l'autre événement, il suffit de soumettre un titre et un résumé. Le processus de référé n'a pas vocation à être très sélectif, il est juste pour vérifier la cohérence avec les thèmes. Cet appel est ouvert aux travaux en cours ou présentés ailleurs. Les durées des exposés seront suffisantes pour présenter le contexte, les résultats, la méthodologie, les preuves et les développements envisagés… Les doctorants sont particulièrement conviés à faire une présentation.
Après le workshop, un numéro spécial de la revue scientifique International Journal on Unconventional Computing sera consacré à des articles longs de résultats présentés à NWC.
La langue sera l'anglais et le français pour les journées et l'anglais pour le workshop.
La précédente édition des Journées Calculabilités a eu lieu à Nice en 2016.
Les éditions précédentes du workshop New Worlds of Computation ont eu lieu à Orléans :
- 2009 : http://www.univ-orleans.fr/lifo/Manifestations/NMC09/
- 2011 : http://www.univ-orleans.fr/lifo/evenements/NWC2011/)
