Français Anglais
Accueil Annuaire Plan du site
[connexion sécurisée]
Postes d'enseignants-chercheurs : sélection pour les auditions Postes d'enseignants-chercheurs : sélection pour les auditions
Voici les listes des candidats retenus pour les auditions
Coq reçoit le ACM Software System Award Coq reçoit le ACM Software System Award
L'assistant à la preuve Coq dont l'équipe Vals-Toccata a été l'un des acteurs majeurs pour l'établissement de ses fondements théoriques et son développement, a reçu le très prestigieux 2013 ACM Software System Award.
Séminaire commun Fondation Hadamard/Digiteo, 6 mai 2014, 11:00, École Polytechnique, Amphi A. Sauvy Séminaire commun Fondation Hadamard/Digiteo, 6 mai 2014, 11:00, École Polytechnique, Amphi A. Sauvy
Titre: Optimisation Stochastique Multi-niveaux: Approximations, Bornes et Cohérence Temporelle.
Conférencier: Georg Pflug, Prof. Université de Vienne
Abstract: We discuss two aspects of multistage stochastic optimization. In the first pa
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
Meghyn Bienvenu, Camille Bourgaux and François Goasdoué. AAAI'14.
ESOP 2014 : A Coq Formalization of the Relational Data Model
V. Benzaken, E. Contejean, S. Dumbrava
Identifying change patterns of concept attributes in ontology evolution
Duy Dinh, Julio Cesar Dos Reis, Cedric Pruski, Marcos Da Silveira, Chantal Reynaud-Delaître
Milieu de calcul générique
Calcul à haute performance
Mar. 29 avril 2014 - 10h30
Salle : 465 (PCRI-N)
Frédéric Gruau
> plus de séminaires