Courses of 2022

Logic, Data and Incomplete Information, by Phokion G.Kolaitis（University of California Santa Cruz & IBM Research）
Expressivity and Inference in Hybrid Logic, by Patrick Blackburn （Section for Philosophy and Science Studies, IKH, Roskilde University）