Links is a research team of Inria Lille, the University of Lille, and the CNRS (Cristal Lab).
Links' News |
2019 | |
---|---|
Mon 16th Dec to Thu 19th Dec all day | Workshop Kocoon at Arras, organized by Pierre Bourhis, Florent Capelli, Pierre Marquis and Stefan Mengel More info at : kocoon.gforge.inria.fr/ |
Fri 27th Sep all day | Mikael Monet visiting |
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). |
Mon 22nd Apr all day | 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 | Rustam Azimov from Saint Petersburg visits Links |
Mon 1st Apr to Fri 26th Apr all day | Semyon Grigorev from Saint Petersburg visits Links Semyon is the supervisor of Rustam Azimov. He will work with Sylvain and Joachim Inria Lille |
Fri 18th Jan all day | Visit of Marie-Laure Mugnier and Federico Ulliana from Montpellier Inria 40 Avenue Halley, 59650 Villeneuve-d'Ascq, France |
This team was not found in the list of teams INRIA, contact the search direction or disable this plugin.