Distinctions Informatique

Un prix à la conférence ICALP pour Charles Paperman et ses travaux sur les problèmes de mots dynamiques

Institutionnel Informatique

Joseph Lallemand, la vérification formelle de protocoles cryptographiques

Institutionnel Informatique

Nicolas Behr, la théorie de la réécriture catégorielle dans les sciences du vivant

Institutionnel Informatique Systèmes embarqués

Martial Defoort, la physique non-linéaire de micro-résonateurs mécaniques et les applications associées

CNRS la Lettre innovation
Informatique

Prévoir la défaillance d'une ligne électrique grâce à un réseau de neurones

https://www.cnrs.fr/cnrsinnovation-lalettre/actus.php?numero=844
Distinctions
Informatique

Un « bug bounty » de 40K€ pour nos chercheurs

https://www.loria.fr/fr/un-bug-bounty-de-40ke-pour-nos-chercheurs/
Résultats scientifiques
Informatique

Des dessins en relief interactifs pour « voir » grâce au toucher

https://www.occitanie-ouest.cnrs.fr/fr/cnrsinfo/des-dessins-en-relief-interacti…
Résultats scientifiques Informatique

Le logiciel GumTree s'enracine

Événements Informatique

Le CNRS au Forum International de la Cybersécurité 2021

#
Résultats scientifiques
Presse
Informatique

Covid-19 : quelles stratégies de télétravail pour freiner la circulation du virus ?

https://www.cnrs.fr/fr/covid-19-quelles-strategies-de-teletravail-pour-freiner-…
S'abonner à Informatique