Links is a research team of Inria Lille, the University of Lille, and the CNRS (Cristal Lab).
Links' News |
2019 | |
---|---|
Tue 4th Jun all day | 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 | 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.