Français Anglais
Accueil Annuaire Plan du site
Projet OpenDreamKit accepté Projet OpenDreamKit accepté
Le projet Européen H2020 OpenDreamKit (Open Digital Research Environment Toolkit for the Advancement of Mathematics), coordonné par le LRI, a été accepté.

Nous recrutons un ingénieur de recherche au LRI!
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
Computing with Synthetic Protocells
Alexis Courbet, Franck Molina and Patrick Amar
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