|
|
 |
 |
 |
 |
Séminaire DIGITEO "Algorithmes pour l’optimisation avec données bruitées" par Claire Mathieu, Brown University & CNRS
24 mai 2012 - Supélec - Amphi F3-05 - 14h30 |
 |
 |
 |
 |
Six articles dont deux primés pour l'équipe InSitu à la conférence CHI'12 L'équipe InSitu présentera six articles à la prestigieuse conférence ACM CHI'12. L'un d'entre eux a reçu un prix du meilleur article, et un autre une mention honorable. |
 |
 |
 |
 |
Un poste de professeur en informatique ouvert au concours au LRI – Université Paris-Sud Un poste de professeur en informatique (27ème section) est ouvert au recrutement à l'université Paris-Sud avec affectation pour la recherche au Laboratoire de Recherche en Informatique. |
 |
 | |
 |
 |
 |
|
 |
Query Containment in Description Logics Reconsidered Meghyn Bienvenu, Carsten Lutz, and Frank Wolter, in International Conference on Principles of Knowle |
 |
 |
|
 |
On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies Meghyn Bienvenu, in Twenty-Sixth Conference on Artificial Intelligence (AAAI) |
 |
 |
|
 |
Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha ZaĂŻdi, CAV 2012 |
 |
 | |
|
 |
|