Français Anglais
Accueil Annuaire Plan du site
Digiteo Seminar3/6/2015, Andrew Tolmach Digiteo Seminar3/6/2015, Andrew Tolmach
Professor at Portland State University, and Digiteo chair
A Theory of Name Resolution
10:30, Amphi Digiteo Moulon (Bât 660)
VerifyThis@ETAPS2015 Verification Competition: 2 awards! VerifyThis@ETAPS2015 Verification Competition: 2 awards!
At the VerifyThis@ETAPS competition,
- the best team award goes to the team Why3: Jean-Christophe Filliâtre and Guillaume Melquiond
- one of the two the distinguished user-assistance tool feature awards goes to the Why3 tool for the lemma library
Digiteo/CDS Seminar, 26/3/2015, 14:30,Gàbor LUGOSI Digiteo/CDS Seminar, 26/3/2015, 14:30,Gàbor LUGOSI
Title : Looking for Adam in a tree
Lecturer : 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
ICDE 2015: CliqueSquare: Flat Plans for Massively Parallel RDF Queries
CIDR 2015: Invisible Glue: Scalable Self-Tuning Multi-Stores
Francesca Bugiotti, Damian Bursztyn, Alin Deutsch, Ioana Ileana and Ioana Manolescu