À la une
Distinctions
MALINCA, ou comment vérifier automatiquement les théorèmes sans avoir à les réécrire
Informatique



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

Quoi de neuf chez les robots ?
À voir aussi
Année thématique
L’optimisation : au cœur des défis des sciences informatiques
Essentielle dans toutes les disciplines scientifiques, l'optimisation a de nombreuses applications dans l'industrie et dans la vie quotidienne. Si les solutions sont souvent mises en avant, les algorithmes qui permettent de les identifier, moteurs…
Suivez CNRS Sciences informatiques
Derniers tweets @CNRSinformatics