PhD Comprehensive Proposal Examination Notice: Characterizing, Guiding, and Extending Verification of Rust Programs

Thursday, April 9, 2026 9:00 am - 11:00 am EDT (GMT -04:00)
Export this event to calendar
iCal

Candidate: Alex Le Blanc

Date: April 9, 2026

Time: 9:00 AM

Location: EIT 3151-53

Supervisor: Lam, Patrick

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