6 events found.

Baskin Engineering

Name: CSE Colloquium: Making Systems Secure with Information Flow
Start: 2025-12-08T09:30:00-08:00
End: 2025-12-08T10:45:00-08:00
Location: Engineering 2

Events
Baskin Engineering

Events

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

Baskin Engineering

CSE Colloquium: A Journey from Programming Systems Research to AI Agents

CSE Colloquium: Mitigating Data Scarcity via Simulation by Roozbeh Mottaghi

CSE Colloquium – Neurosymbolic AI: from research to industry

CSE Colloquium – Flux: Refinement Types for Verified Rust Systems

When Less is More: Applications of Type-Based Underapproximate Reasoning

CSE Colloquium: Making Systems Secure with Information Flow