Français Anglais
Accueil Annuaire Plan du site
Séminaire Digiteo, 3/6/2015, Andrew Tolmach Séminaire Digiteo, 3/6/2015, Andrew Tolmach
Professeur, Portland State University, and Digiteo chair
A Theory of Name Resolution
10:30, Amphi Digiteo Moulon (Bât 660)
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)
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