IJCAI 2016: “Expressivity of Datalog Variants — Completing the Picture”
The paper “Expressivity of Datalog Variants — Completing the Picture” by Sebastian Rudolph and Michaël Thomazo has been accepted for publication in IJCAI 2016.
Diego Calvanese visits CEDAR
After the EDBT 2016, prof. Diego Calvanese from the Free University of Bozen-Bolzano visited us to hold a seminar on Data-centric dynamic systems (DCDSs) and decidability of verification of expressive (first-order) temporal properties over such systems. The seminar was followed by a degustation of French wine and cheese. 
First CEDAR party
On February 18, Swen gathered us around delicious home-made cookies and drinks for his farewell from the team. François visited us from Lannion on this occasion, so the smoked whisky also made its first appearance in a CEDAR event 🙂 We wish Swen best of luck in his PhD! 
Continue reading
Group encounter with Michael Franklin
When: Friday, March 25, at 10:30 Where: Turing building, salle Thomas Flowers
Diego Calvanese: Data and Processes: Can we Marry Them … and Make the Marriage Last?
When: Friday, March 18, at 14:30 Where: Turing building, room Gilles Kahn Abstract: Data an processes are just two sides of the same coin, and for several activities related to the analysis and design of systems it is essential to capture both static and dynamic aspects in a uniform way. In recent years, we have …
Davide Lanti: Data Scaling for OBDA Benchmarking
When: Friday, March 11, at 14:30 Where: Turing building, room Gilles Kahn Abstract: Ontology-based data access (OBDA) is a novel approach whose aim is to facilitate the access to legacy databases to the end-users through the help of a mediating ontology. Although some prototype implementations for OBDA exist, performance is …
Raphaël Bonaque: Structured, Social and Semantic Search
When: Friday, March 11th, from 11 to 12 AM Where: Turing building Social content such as blogs, tweets, news etc. is a rich source of interconnected information. We identify a set of requirements for the meaningful exploitation of such rich content, and present a new data model, called S3, which …
Meghyn Bienvenu: Ontology-Mediated Query Answering
When: Friday, February 26th, from 10 to 12 AM and 2 to 4PM Where: Turing building
Reynold C.K. Cheng: Meta Paths and Meta Structures: Computing Relevance in Large Heterogeneous Information Networks
When: Friday, January 1st, from 11 to 12 AM Where: Turing building
ICDE 2016: “Flexible Hybrid Stores: Constraint-Based Rewriting to the Rescue”
The demonstration “Flexible Hybrid Stores: Constraint-Based Rewriting to the Rescue” by Francesca Bugiotti, Damian Bursztyn, Alin Deutsch, Ioana Manolescu and Stamatis Zampetakis has been accepted for publication in ICDE 2016.
