Présentation
Thèmes de recherche
Collaborations
Production
Travailler au LRI
Formation
Informations pratiques
3èmes rencontres Digiteo Valorisation
3èmes rencontres Digiteo Valorisation le jeudi 11 décembre 2008.
"Jeunes chercheurs, comment valoriser vos découvertes ?"
Accès libre, inscription obligatoire.
Prix de thèse Gilles Kahn 2008
le 2ème prix a été attribué à Sylvain Gelly pour sa thèse intitulée "Une contribution Ã
l'apprentissage par renforcement; application du Computer - Go" sous la direction de Michèle Sebag et de Nicolas Bredeche.
Workshop Synchron 08
International Open Workshop on
Synchronous Programming
1er au 5 décembre 2008
> toutes les news
Automated motif extraction and classification in RNA tertiary structures
Mahassine Djelloul and Alain Denise. RNA December 2008 14: 2489-2497.
An Extensible Encoding of Object-oriented Data Models in HOL with an Application to IMP++.
Achim Brucker et Burkhart Wolff. Va apparaître en Journal of Automated Reasoning (JAR), 2008.
Model-Based Adaptation of Behavioral Mismatching Components
Carlos Canal, Pascal Poizat and Gwen Salaün. IEEE Transactions on Software Engineering, 34(4):546
> tous les résultats
Application des banques de données de familles de gènes à l'étude des transf
Bioinformatique
Lun 08 décembre 2008 - 14h45
Salle : 79 (490)
Guy Perrière
On unconditional deterministic polynomial factorization over finite fields
Algorithmique
Mar 09 décembre 2008 - 11h30
Salle : 101 (490)
Gabor Ivanyos
Rounding Parallel Repetitions of Unique Games
Complexité
Jeu 11 décembre 2008 - 11h30
Salle : 101 (490)
David Steurer
Recherche de solutions de compromis dans des problèmes de graphes multicritère
Optimisation robuste
Ven 12 décembre 2008 - 10h30
Salle : 79 (490)
Lucie GALAND
Le problème SAT, ou comment devenir maître du monde
Algorithmique
Ven 12 décembre 2008 - 14h00
Salle : 008 (G)
Laurent Simon
Incompleteness in Information Integration
Bases de données
Ven 12 décembre 2008 - 14h00
Salle : 008 (G)
Evgeny Karlamov
> plus de séminaires
Concours chercheurs CNRS
Les concours chercheurs CNRS 2009 sont ouverts
Site CNRS