Nouvelles
Links' News |
Sat, April 22, 2017 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, April 22, 2017 all day | IJCAI'17 paper accepted Pierre Bourhis with Vienna (Morak and Pieris): Making Cross Products and Guarded Ontology Languages Compatible Melbourne |
Fri, April 14, 2017 all day | Pierre Bourhis with Oxford (Benedikt and Vanden Boom): Characterizing Definability in Decidable Fixpoint Logics Warsaw |
Fri, April 14, 2017 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, April 14, 2017 all day | Pierre Bourhis with Amarilli (Telecom Paristec), Jachiet (Lens) and Mengel (Lens): A Circuit-Based Approach to Efficient Enumeration Warsaw |
Fri, March 31, 2017 all day | Lille-Oxford cooperation project accepted Funded by University of Lille. Contact: Pierre Bourhis |
Fri, March 31, 2017 all day | Edinburgh-Links exchange projet accepted Funded by University of Lille. Coordinator: Slawek Staworko |
Thu, February 2, 2017 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.