PhD Seminar: Automatic Inference of Relational Object Invariants
Candidate: Yusen Su
Date: April 29, 2026
Time: 10:00 AM
Location: EIT 3142
Supervisor: Arie Gurfinkel
All are welcome!
Candidate: Yusen Su
Date: April 29, 2026
Time: 10:00 AM
Location: EIT 3142
Supervisor: Arie Gurfinkel
All are welcome!
Candidate: Seyyed Mojtaba Pourjaafari
Date: April 29, 2026
Time: 1:00 PM
Location: EIT 3142
Supervisors: Mansour, Raafat
Speaker: Professor Mehdi Saligane, ECE Department, Brown University, Rhode Island
Date: April 30, 2026
Time: 1:00pm to 2:00pm
Location: EIT 3142
Speaker: Tim Edwards, Open Circuit Design
Date: April 30, 2026
Time: 2:00pm to 3:00pm
Location: EIT 3142
Latch-Up 2026 invites the free and open-source silicon community to Canada. The FOSSi Foundation is hosting Latch-Up, a conference dedicated to free and open-source microelectronic chip design, taking place over the weekend of May 1–3, 2026.
Latch-Up is a weekend of presentations and networking for the open-source digital design community, bringing together students, researchers, and industry professionals interested in open hardware and semiconductor innovation.
Candidate: Mehran Hazer Sahlabadi
Date: May 1, 2026
Time: 11:00 AM
Location: EIT 3142
Supervisors: Boumaiza, Slim
Candidate: Mingyang Xu
Date: May 1, 2026
Time: 2:00 PM
Location: EIT 3151-53
Supervisor: Tahvildari, Ladan
Candidate: Mehran Golcheshmeh
Date: May 4, 2026
Time: 9:30 AM
Location: EIT 3142
Supervisors: Mansour, Raafat
Candidate: Fatemeh Keyvani
Date: May 5, 2026
Time: 1:00 PM
Location: Online - contact the candidate for more information.
Supervisors: Poudineh, Mahla
Candidate: Venkata Kameswara Praneeth Kolapalli
Date: May 8, 2026
Time: 11:30 AM
Location: EIT 3145
Supervisor: Yash Vardhan Pant
All are welcome!
Candidate: Siddharth Priya
Date: May 13, 2026
Time: 1:00 PM
Location: EIT 3151-53
Supervisors: Gurfinkel, Arie