informatique théorique
11 juillet 2022 | [Best Paper] Qu'est-ce qui est calculable par un ordinateur dans un temps réaliste en interrogeant un oracle ?
Des enseignants-chercheurs du laboratoire Loria (CNRS, Inria, Université de Lorraine) Emmanuel Hainry, Romain Péchoux, Jean-Yves Marion et Bruce Kapron (Université de Victoria, Canada) ont obtenu le prix EATCS du meilleur article à ETAPS 2022 (European Joint Conférence on Theory and Practice of... (Lire la suite)
