Home

Links is a research team of Inria Lille, the University of Lille, and the CNRS (Cristal Lab).

Cake of Thursday

Links' News Add to google calendar
2019
Tue 4th Jun
 all day
Add event to google
Arrivée de Fanny Canivet en stage de L3 : "Proof systems based on restricted Boolean circuits"

Fri 10th May
10:00 am
11:00 am
Add event to google
IJCAI'2019 paper by Sophie Tison et al. accepted.
In cooperation with Montpellier: Oblivious and Semi-Oblivious Boundedness for Existential Rules” (P. Bourhis, F. Ulliana, M. Leclère, ML Mugnier, S. Tison, L. Gallois).

This team was not found in the list of teams INRIA, contact the search direction or disable this plugin.

Permanent link to this article: https://team.inria.fr/links/