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.
