Université de Lorraine : Conférence internationale sur la calculabilité et la complexité en analyse

Du 8 au 10 juillet aura lieu la dixième édition de la conférence internationale sur la calculabilité et la complexité en analyse. Cette conférence réunit des scientifiques de différents domaines de l’informatique théorique et des mathématiques : logique, analyse constructive, arithmétique des ordinateurs, analyse numérique. Le domaine de l’analyse récursive remonte aux travaux de Turing (1936) qui a introduit la notion de nombre réel calculable.

Retrouvez plus d’infos ici