Home

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

Cake of Thursday

Links' News

2018
Thu 20th Dec 5:00 pm 6:00 pm	STACS'19 paper by Florent Capelli accepted: "Tractable QBF via Knowledge Compilation" with Stefan Mengel arxiv.org/abs/1807.04263
Fri 16th Nov 11:00 am 12:30 pm	Aurelien Lemay's Habilitation defense IRCICA
Mon 5th Nov 9:00 am 10:00 am	Bruno Guillon arrives: our new postdoc working on distributed databases
Mon 15th Oct to Tue 16th Oct  all day	GT-Alga (Automata, Logic, Games & Algebra) of GDR IM. General meeting in Lille organised by Florent Capelli Inria 40 Avenue Halley, 59650 Villeneuve d'Ascq, France
Mon 17th Sep  all day	Hermino Gonzales, a PhD student from the Oviedo University in Spain, starts a 3 months visit in Links. He will work with Iovka Boneva on SheX
Mon 3rd Sep 11:00 pm 12:00 am	Sławek Staworko's paper on SheX containment got accepted at PODS 2019! arxiv.org/abs/1803.07303
Tue 28th Aug to Fri 31st Aug  all day	CP 2018: 24th International Conference on Principles and Practice of Constraint Programming A major conference on logic in AI origanized in Lille. EuraTechnologies, Lille, France
Mon 27th Aug  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.

← −−  −  10 50 100 + ++ →

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