Home

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

Cake of Thursday

Links' News

2019
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
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

← −−  −  10 50 100 + ++ →

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