Bernoulli Institute, Colloquia Computer Science, University of Groningen, Netherlands

June 22nd, 2018. (jointly with Dr Andreas Panayides).