Français Anglais
Accueil Annuaire Plan du site
Project OpenDreamKit accepted Project OpenDreamKit accepted
The Horizon 2020 European proposal OpenDreamKit (Open Digital Research Environment Toolkit for the Advancement of Mathematics), led by LRI, has been accepted.

We recruit a full time developer at LRI!
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
Computing with Synthetic Protocells
Alexis Courbet, Franck Molina and Patrick Amar
ICDE 2015 tutorial: RDF Data Management: Reasoning on Web Data
ICDE 2015: CliqueSquare: Flat Plans for Massively Parallel RDF Queries