CSE Colloquium – Flux: Refinement Types for Verified Rust Systems
Engineering 2 Engineering 2 1156 High Street, Santa Cruz
Free
7 events found.
Week of Events
Monday, November 17, 2025
No events on this day.
Tuesday, November 18, 2025
No events on this day.
Wednesday, November 19, 2025
-
November 19, 2025CSE Colloquium – Flux: Refinement Types for Verified Rust Systems
CSE Colloquium – Flux: Refinement Types for Verified Rust Systems
Presenter: Ranjit Jhala, UCSD Abstract: Rust has risen as a language of choice for new systems code — from OS kernels to hypervisors, firmware and run-times — as it is memory […]
Free
Thursday, November 20, 2025
No events on this day.
Friday, November 21, 2025
-
Virtual EventNovember 21, 2025Torres, S. (ECE) – An Integrated Platform for Real-time Monitoring and Support of 3D Tissue Growth
Virtual Event
Torres, S. (ECE) – An Integrated Platform for Real-time Monitoring and Support of 3D Tissue Growth
Organoids are three-dimensional tissue cultures that model real organs and serve as valuable tools for studying development, disease, and treatment response. Traditional methods, which rely on manual handling and incubators, […]
Saturday, November 22, 2025
No events on this day.
Sunday, November 23, 2025
No events on this day.