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
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).
Mon 22nd Apr
 all day
Add event to google
SAT'19 paper by Florent Capelli accepted
Knowledge compilation languages as proof systems ,arxiv.org/abs/1903.04039 [ arxiv.org/abs/1903.04039 ]
Fri 12th Apr
to Thu 18th Apr
 all day
Add event to google
Rustam Azimov from Saint Petersburg visits Links
Mon 1st Apr
to Fri 26th Apr
 all day
Add event to google
Semyon Grigorev from Saint Petersburg visits Links
Semyon is the supervisor of Rustam Azimov. He will work with Sylvain and Joachim
Show in Google map
Inria Lille

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/