Please note: This seminar will take place in DC 1304.
Amin Timany, Assistant Professor
Logic and Semantics Group, Department of Computer Science, Aarhus University
Please note: This PhD seminar will take place online.
Joseph Scott, PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Jo Atlee, Vijay Ganesh