Nouvelles
| Links' News |   |
| 2017 | |
|---|---|
Tue 9th May all day | Pierre Bourhis' paper with Oxford (Benedikt and Vanden Boom) in Track B of ICALP'17 won the best paper award!  Warsaw, Poland |
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 Pierre Bourhis with Vienna (Morak and Pieris): Making Cross Products and Guarded Ontology Languages Compatible Melbourne |
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 |
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 |
This team was not found in the list of teams INRIA, contact the search direction or disable this plugin.
