Actualités

Espace presse
Distinctions Informatique

MALINCA, ou comment vérifier automatiquement les théorèmes sans avoir à les réécrire

Informatique

Optimisation : conversation avec Clément Quinton

Institutionnel

Liste des postes de chaires de professeur junior de CNRS Sciences informatiques

International Informatique

De nouvelles coopérations entre la France et le Japon avec le programme ASPIRE

Informatique

Des fontaines de Versailles aux algorithmes : le chemin d’Hang Zhou vers l’optimisation

Événements

À la découverte des métiers des sciences informatiques avec les décodeuses du numérique

Intelligence artificielle
Institutionnel
Informatique

Intelligence artificielle : le CNRS en action

https://www.cnrs.fr/fr/actualite/intelligence-artificielle-le-cnrs-en-action
Informatique

Interview avec Christophe Lecoutre, professeur en optimisation

Quand le CNRS relève les défis scientifiques de l’IA
Institutionnel

Quand le CNRS relève les défis scientifiques de l’IA

https://www.cnrs.fr/fr/actualite/quand-le-cnrs-releve-les-defis-scientifiques-d…
Informatique

Optimisation : conversation avec Julie Digne

Institutionnel

Rencontre avec Michaël Poss, chercheur en optimisation