Français Anglais
Accueil Annuaire Plan du site
Compétition VerifyThis@ETAPS2015 de vérification de programmes: 2 prix! Compétition VerifyThis@ETAPS2015 de vérification de programmes: 2 prix!
À la compétition VerifyThis@ETAPS2015:
- le prix de la meilleure équipe est allé à l'équipe Why3: Jean-Christophe Filliâtre et Guillaume Melquiond
- un prix de la meilleure fonctionnalité pour les utilisateurs va à Why3 pour sa bibliothèque de lemmes
Séminaire Digiteo/CDS, 26/3/2015, 14:30,Gàbor LUGOSI Séminaire Digiteo/CDS, 26/3/2015, 14:30,Gàbor LUGOSI
Titre : Looking for Adam in a tree
Conférencier : Gàbor LUGOSI, ICREA Research Professor, Barcelona,
26/3/2015, 14:30, Amphi Digiteo Moulon (Bât 660)
Nolwenn Maudet, lauréate du concours EducNum Nolwenn Maudet, lauréate du concours EducNum
Nolwenn Maudet a reçu le prix du jury du premier concours EducNum, organisé par la CNIL, en présence de Mme Najat Vallaud-Belkacem, Ministre de l’Education nationale, de l’Enseignement supérieur et de la Recherche
ICDE 2015 tutorial: RDF Data Management: Reasoning on Web Data
François Goasdoué, Ioana Manolescu and Alexandra Roatiș
ICDE 2015: CliqueSquare: Flat Plans for Massively Parallel RDF Queries (paper + demo)
F. Goasdoué, Z. Kaoudi, I. Manolescu, J. Quiané-Ruiz, S. Zampetakis, B. Djahandideh
CIDR 2015: Invisible Glue: Scalable Self-Tuning Multi-Stores
Francesca Bugiotti, Damian Bursztyn, Alin Deutsch, Ioana Ileana and Ioana Manolescu
Streaming and Interactive Data Analytics
Algorithmes pour les grands volumes de données distribuées
Lun. 18 mai 2015 - 10h00
Salle : 435 (PCRI-N)
Erietta Liarou
> tous les séminaires