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-14h00 | Salle Ada Lovelace Bât. Inria | Unithé ou Café : Samuel Thibault Les tribulations d'un e-mail : structure d'internet et questions de sécurité |