Français Anglais
Accueil Annuaire Plan du site
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)
Nolwenn Maudet receives the Jury Award of the EducNum competition Nolwenn Maudet receives the Jury Award of the EducNum competition
Nolwenn Maudet, PhD student in the HCC group at LRI, was awarded on January 28th, 2015, the Jury Award of the first EducNum competition, organized by CNIL (National Commission on Informatics and Freedom), in a ceremony attended by the Minister of Educatio
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
Streaming and Interactive Data Analytics
Massively distributed algorithms for complex data
Mon 18 May 2015 - 10h00
Room : 435 (PCRI-N)
Erietta Liarou
> seminar calendar