Events

Preceding Day

Wednesday, July 29, 2026

Following Day

Extending established memory recall theories and findings beyond the laboratory
Event Type: Qualifying Exam
Speaker: Hemali Angne

Location: CoRE 301
Event Date: 10:00am - 12:00pm
Practical Formal Methods for the Linux eBPF Verifier: Scalable Verification and Witness Generation
Event Type: PhD Defense
Speaker: Matan Shachnai

Location: Hill 350
Event Date: 10:30am - 12:00pm