Events

Preceding Week

26 July - 01 August, 2026

Following Week

Cognitive Memory Mechanisms for Understanding and Improving Large Language Models
Event Type: Qualifying Exam
Speaker: Nikolaus Salvatore

Location: CoRE 305
Event Date: 12:00pm - 01:30pm

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