Links is a research team of Inria Lille, the University of Lille, and the CNRS (Cristal Lab).
Cake of Thursday
| Links' News |   |
Thu, October 1, 2020 all day | Corentin Barloy starts his PhD project |
Thu, October 1, 2020 all day | Mikael Monet arrives as Junior Researcher |
Tue, September 29, 2020 9:00 am 10:00 am | ANR Project of Florent Capelli accepted. On knowledge compilation |
Tue, September 1, 2020 all day | Arrival of Chérif Ba as engineer |
Mon, August 24, 2020 9:00 am 10:00 am | MFCS paper accepted by Paul Gallot, Aurélin Lemay and Sylvain Salvati: https://hal.inria.fr/hal-02902853 |
Fri, July 24, 2020 2:30 pm 4:30 pm | Dr. Momar Sakho defended his PhD. |
Mon, July 6, 2020 to Fri, July 10, 2020 all day | École d'été Kocoon (cancelled) organisée par Florent Capelli, Pierre Marquis, Stefan Mengel, and Pierre Bourhis, à Lille More info at: kocoon.gforge.inria.fr/ |
Tue, June 30, 2020 all day | ICALP 2020 paper by Charles Paperman accepted On Polynomial Recursive Sequences ( Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michał Pilipczuk and Géraud Sénizergues ) drops.dagstuhl.de/opus.....7.pdf |
Mon, December 16, 2019 to Thu, December 19, 2019 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, September 27, 2019 all day | Mikael Monet visiting |
Tue, June 4, 2019 all day | Arrivée de Fanny Canivet en stage de L3 : "Proof systems based on restricted Boolean circuits" |
Fri, May 10, 2019 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, April 22, 2019 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, April 12, 2019 to Thu, April 18, 2019 all day | Rustam Azimov from Saint Petersburg visits Links |
Mon, April 1, 2019 to Fri, April 26, 2019 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, January 18, 2019 all day | Visit of Marie-Laure Mugnier and Federico Ulliana from Montpellier Inria 40 Avenue Halley, 59650 Villeneuve-d'Ascq, France |
Thu, December 20, 2018 5:00 pm 6:00 pm | STACS'19 paper by Florent Capelli accepted: "Tractable QBF via Knowledge Compilation" with Stefan Mengel |
Fri, November 16, 2018 11:00 am 12:30 pm | Aurelien Lemay's Habilitation defense IRCICA |
Mon, November 5, 2018 9:00 am 10:00 am | Bruno Guillon arrives: our new postdoc working on distributed databases |
Mon, October 15, 2018 to Tue, October 16, 2018 all day | Inria 40 Avenue Halley, 59650 Villeneuve d'Ascq, France |
Mon, September 17, 2018 all day | |
Mon, September 3, 2018 11:00 pm 12:00 am | Sławek Staworko's paper on SheX containment got accepted at PODS 2019! |
Tue, August 28, 2018 to Fri, August 31, 2018 all day | A major conference on logic in AI origanized in Lille. EuraTechnologies, Lille, France |
Mon, August 27, 2018 all day | Rustam Azimov, a PhD student from Petersburg, starts his 3-months visit of Links. He will work with Sylvain Slavati and Joachim Niehren. |
Mon, April 16, 2018 all day | ICALP'18 paper accepted by Charles Paperman Constrained Topological Sorting by Antoine Amarilli and Charles Paperman arxiv.org/pdf/1707.04310.pdf |
Thu, March 15, 2018 all day | ShEx 2.0 Release of Java Implementation Publication of a first version of the implementation of ShEx 2.0 in java [ github.com/iovka/shex-java | github.com/iovka/shex-java ] |
This team was not found in the list of teams INRIA, contact the search direction or disable this plugin.
