Wednesday, March 6, 2024 — 10:30 AM to 11:30 AM EST
Please note: This seminar will take place in DC 1304.
Amin Timany, Assistant Professor
Logic and Semantics Group, Department of Computer Science, Aarhus University
Wednesday, March 6, 2024 — 3:00 PM to 4:00 PM EST
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
