Français Anglais
Accueil Annuaire Plan du site
Theory of Randomized Search Heuristics Theory of Randomized Search Heuristics
The 4th workshop on Theory of Randomized Search Heuristics is going to take place on March 24-25, 2010 in the capital of France.
Five assistant professor positions are open Five assistant professor positions are open
in section 27 (Computer Science) at the University of Paris-Sud 11 : two are at the Orsay Faculty (UFR) of Sciences, one of which is accompanied by an INRIA Chair, and three are at the Orsay Institute of Technology. Deadline for candidates: 25 March 2010
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.
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
Sur une suite universelle d'entiers génératrice de figures de Steinhaus équil
Combinatory
Fri 26 March 2010 - 10h30
Room : 79 (490)
Jonathan CHAPPELON
Prédiction de nouveaux microARN dans les génomes
Bioinformatics
Thu 01 April 2010 - 14h00
Room : 90 (490)
Anthony Mathelier
Leo Seminar
Fri 09 April 2010 - 13h30
Room : 107 (N)
TBA
Software Testing
Wed 14 April 2010 - 14h00
Room : ()
Manuel Nunez
BioPsi: a formal description of biological processes based on elementary bricks
Bioinformatics
Thu 22 April 2010 - 14h00
Room : 90 (490)
Sabine Pérès
TBA
Bioinformatics
Thu 29 April 2010 - 14h00
Room : 90 (490)
Sébastien Tempel
> seminar calendar