Français Anglais
Accueil Annuaire Plan du site
[connexion sécurisée]
Coq recipient of the 2013 Software system Award Coq recipient of the 2013 Software system Award
The proof assistant Coq receives the prestigious 2013 ACM Software System Award. It rewards the involvement of the Vals-Toccata team in the project, in the establishment of its theoretical foundations and in its development.
Joint Seminar Fondation Hadamard/Digiteo, May 6 2014, 11:00, École Polytechnique, Amphi A. Sauvy Joint Seminar Fondation Hadamard/Digiteo, May 6 2014, 11:00, École Polytechnique, Amphi A. Sauvy
Title: Multistage Stochastic Optimization: Approximations, Bounds and Time Consistency.
Lecturer: Georg Pflug, Prof. University of Vienna
Abstract: We discuss two aspects of multistage stochastic optimization. In the first part we presen
Digiteo Seminar, April 28, 14:30, Supélec F.3.06 Digiteo Seminar, April 28, 14:30, Supélec F.3.06
Title : Adversary-Oriented Computing
Lecturer : Rachid Guerraoui, Prof. EPFL
Abstract: This talk will describe Adversary-Oriented Computing (AOC), a new paradigm to build high-assurance distributed programs. The underlying idea consists in
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
Meghyn Bienvenu, Camille Bourgaux and François Goasdoué. AAAI'14.
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
High-performance computing
Tue 29 April 2014 - 10h30
Room : 465 (PCRI-N)
Frédéric Gruau
> seminar calendar