Course on Verification of Data-centric Systems,
held together with Marco Montali at the
RiSE & LogiCS Summer School on Logic, Artificial Intelligence and
School 2017). Vienna, Austria, 3-5 July 2017.
Course on View-based Query
held together with Giuseppe De Giacomo, Georg Gottlob, Maurizio Lenzerini,
and Riccardo Rosati as part of the
PhD in Computer Engineering at the University of Rome "La Sapienza".
Rome, Italy, September-November 2005.