|
|
 |
 |
 |
|
Naissance de l'EIT ICT labs
Cet ambitieux projet auquel participe le LRI à travers l'université Paris XI a été sélectionné le 16 décembre 2009 à l'issue d'un processus européen très sélectif. |
|
|
 |
|
Voeux 2010 du LRI
Vendredi 8 janvier 2010, lors de la cérémonie des voeux, Michel Beaudouin-Lafon a conclu son 2ème mandat de directeur en passant la main à Philippe Dague, nouveau directeur du LRI. |
|
|
 |
|
Signature de l'accord cadre INRIA-UPS
Le 18 décembre au PUIO, Mr Guy Couarraze, président de l'Université Paris-Sud 11 et Mr Michel Cosnard, Président Directeur Général de l'INRIA ont co-signé l'accord cadre INRIA-UPS. |
|
| |
|
 |
|
|
|
HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler
Sascha Böhme, Michal Moskal, Wolfram Schulte, and Burkhart Wolff. J. Autom. Resoning(JAR),2009. |
|
|
|
|
Non-conservative Extension of a Peer in a P2P Inference System
Nada Abdallah and François Goasdoué. AI Communications (AICOM), 2009. |
|
|
|
|
Meilleur SAT-Solveur au monde sur les instances industrielles
glucose, démonstrateur SAT développé par L. Simon (LRI) et G. Audemard du CRIL (Lens) a gagné la |
|
| |
|
|
|
