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. 
When: Friday, March 25, at 10:30 Where: Turing building, salle Thomas Flowers
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 …
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 …
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 …
When: Friday, February 26th, from 10 to 12 AM and 2 to 4PM Where: Turing building
When: Friday, January 1st, from 11 to 12 AM Where: Turing building
