Name: CSE Colloquium – Flux: Refinement Types for Verified Rust Systems
Start: 2025-11-19T11:00:00-08:00
End: 2025-11-19T12:15:00-08:00
Location: Engineering 2

Events

14 events found.

Events Search and Views Navigation

Enter Keyword. Search for Events by Keyword.

Enter Location. Search for Events by Location.

Event Views Navigation

List
Month
Day
Week
Map
Summary

Filters

Changing any of the form inputs will cause the list of events to refresh with the filtered results.

Event Category

Cost ($)

$0 – $432

Venues

Organizers

Day

Monday

Tuesday

Wednesday

Thursday

Friday

Saturday

Sunday

Date From

Series

Virtual Events

Show all events

Show only virtual events

Hide virtual events

AM Seminar: Linear Stochastic Emulators of the Ocean Circulation based on Balanced Truncation: A Caution, perhaps, for Machine Learning?

Barnstorm Presents—1972: The Future of Sex

The SpongeBob Musical

UCSC Chamber Singers

Holiday Gift & Wreath Sale Fundraiser

UCSC Wind Ensemble

Trans Day of Remembrance Vigil: The Sound of Holding On

Fall Academic Senate Meeting

Ellen Bass: Morton Marcus Poetry Reading

Opera Scenes: Musical Settings of the Orpheus Myth by Monteverdi, Gluck, and Anaïs Mitchell

International Trivia Night

Humanities at Work: Informational Interviewing

CSE Colloquium – Flux: Refinement Types for Verified Rust Systems

Faculty Community Network – Indigenous