Dec 8 9:30 am CSE Colloquium: Making Systems Secure with Information Flow Engineering 2 Engineering 2 1156 High Street, Santa Cruz Event Details Get Directions
Dec 3 11:00 am When Less is More: Applications of Type-Based Underapproximate Reasoning Engineering 2 Engineering 2 1156 High Street, Santa Cruz Event Details Get Directions
Nov 19 11:00 am CSE Colloquium – Flux: Refinement Types for Verified Rust Systems Engineering 2 Engineering 2 1156 High Street, Santa Cruz Event Details Get Directions
Nov 12 11:00 am CSE Colloquium – Neurosymbolic AI: from research to industry Engineering 2 Engineering 2 1156 High Street, Santa Cruz Event Details Get Directions
Nov 5 11:00 am CSE Colloquium: Mitigating Data Scarcity via Simulation by Roozbeh Mottaghi Engineering 2 Engineering 2 1156 High Street, Santa Cruz Hybrid Event Event Details Get Directions
Oct 28 11:00 am CSE Colloquium: A Journey from Programming Systems Research to AI Agents Engineering 2 Engineering 2 1156 High Street, Santa Cruz Event Details Get Directions