|
|
 |
 |
 |
|
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 |
|
| |
|
|
|
