Courses Courses of 2026 Casual Reasoning, Tadeg Quillien (University of Edinburgh) and Bonan Zhao (University of Edinburgh) Learning and Dynamic Logic, Nina Gierasimczuk(Danish Technical University) Archive
