start 1075000817
Links is a research team of Inria Lille, the University of Lille, and the CNRS (Cristal Lab).
Links' News |
2017 | |
---|---|
Wed 3rd May all day | Vincent Hugot, Adrien Boiret, and Joachim Niehren: Equivalence of Symbolic Tree Transducers Liege, Belgium |
Sat 22nd Apr all day | IJCAI'17 paper accepted Sophie Tison and Pierre Bourhis with Montpellier (Bienvenu, Mugier, Ulliana): Ontology-Mediated Query Answering for Key-Value Stores Melbourne |
Sat 22nd Apr all day | IJCAI'17 paper accepted Pierre Bourhis with Vienna (Morak and Pieris): Making Cross Products and Guarded Ontology Languages Compatible Melbourne |
Fri 14th Apr all day | Pierre Bourhis with Amarilli (Telecom Paristec), Jachiet (Lens) and Mengel (Lens): A Circuit-Based Approach to Efficient Enumeration Warsaw |
Fri 14th Apr all day | Nicolas Bacquey with Etienne Grandjean (Caen) and Frédéric Olive (Marseille): Definability by Horn formulas and linear time on cellular automata Warsaw |
Fri 14th Apr all day | Pierre Bourhis with Oxford (Benedikt and Vanden Boom): Characterizing Definability in Decidable Fixpoint Logics Warsaw |
Fri 31st Mar all day | Edinburgh-Links exchange projet accepted Funded by University of Lille. Coordinator: Slawek Staworko |
Fri 31st Mar all day | Lille-Oxford cooperation project accepted Funded by University of Lille. Contact: Pierre Bourhis |
Thu 2nd Feb all day | Sylvain Salvati with Bordeaux (Gallot, Musholl, and Puppis): On the decomposition of finite-valued streaming string transducers |
2016 | |
Sun 28th Aug all day | Paper accepted at PODS’17 Pierre Bourhis, Domagoj Vrgoc (Santiago di Chile), ... |
This team was not found in the list of teams INRIA, contact the search direction or disable this plugin.