The home page of the KRDB school 2013 is at https://www.inf.unibz.it/~franconi/space/doku.php?id=organisation:sakt:2013:main_sakt