Kolloquiumsvortrag, Dr. Patrick Totzke Laboratory for Foundations of Computer Science at Edinburgh / am 15. 12.2017