LaBRI-Hebdo 384

Lundi 28 avril 2014

Bonne lecture !

Actualités locales

  • Récompense pour Coq. L'assistant à la preuve Coq vient d'être distingué par le prestigieux prix "ACM Software System Award", qui récompense une institution ou des individus pour le développement d'un système logiciel particulièrement influent par sa contribution conceptuelle et/ou son acceptabilité commerciale. Félicitations en particulier à Pierre Castéran qui figure parmi les récipiendaires, pour son livre co-écrit avec Yves Bertot, surnommé le Coq'Art, qui a largement contribué à la diffusion et l'enseignement de Coq sur plusieurs continents.

Actualités des institutions

  • CNRS
    • CNRS-Hebdo. La dernière lettre de la délégation régionale Aquitaine-Limousin est parue.

Semainier (du 28 avril au 5 mai)

Lundi 28
13h00-14h00Salle Ada Lovelace
Bât. Inria
Unithé ou Café : Samuel Thibault
Les tribulations d'un e-mail : structure d'internet et questions de sécurité
Page mise à jour le 28/04/2014 à 10:54