PhD Comprehensive Proposal Examination Notice: Mechanized Foundations for State and Mutation Control in Type Qualifier Systems

Tuesday, June 2, 2026 10:00 am - 12:00 pm EDT (GMT -04:00)
Export this event to calendar
iCal

Candidate: Aosen Xiong

Date: June 2, 2026

Time: 10:00 AM

Location: EIT 3142

Supervisor: Dietl, Werner

Location Information
Location Address: EIT - Centre for Environmental and Information Technology
200 University Avenue West
Room 3142
Waterloo, ON, CA  N2L 3G1
Location coordinates: