Français Anglais
Accueil Annuaire Plan du site
About LRI
Research themes
Collaborations
Research results
Open positions
Teaching
Useful informations
Webmail NG
EIT ICT labs birth EIT ICT labs birth
This project has been chosen on the 16th of December 2009 after a highly selective european process. The LRI is participating through the University Paris Sud XI.
Happy New Year 2010 from LRI Happy New Year 2010 from LRI
On Friday January 8, 2010, during the new year celebration, Michel Beaudouin-Lafon ended his second term has head of the lab and handed it off to new LRI director Philippe Dague.
Signature of a frameword agreement between INRIA and Univ. Paris-Sud Signature of a frameword agreement between INRIA and Univ. Paris-Sud
On December 18, Guy Couarraze, président of Université Paris-Sud 11 and Michel Cosnard, Président Directeur Général de l'INRIA, signed a framework agreement between their two institutions.
HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler
The paper describes a combined proof-environment for verification conditions generated for annotated
Non-conservative Extension of a Peer in a P2P Inference System
Nada Abdallah and François Goasdoué. AI Communications (AICOM), 2009.
World's Best SAT solver on Industrial (UNSAT) problems
glucose, the SAT solver created by L. Simon (LRI) and G. Audemard from CRIL (Lens) won the internati
Interrogation de données réparties à grande échelle : des grilles vers les n
Databases
Thu 11 February 2010 - 11h00
Room : 101 (490)
Laurent d'Orazio
Thermodynamics of RNA structures by Wang-Landau sampling
Bioinformatics
Thu 11 February 2010 - 14h00
Room : ()
Feng LOU
On the performance of approximate equilibria in congestion games
Algorithms
Fri 12 February 2010 - 11h00
Room : 101 (490)
Giorgos Christodoulou
YAGO & SOFIE: Automated Construction of a Large Ontology
Semantic Web
Fri 12 February 2010 - 14h00
Room : 008 (G)
Fabian Suchanek
> seminar calendar