Name: When Less is More: Applications of Type-Based Underapproximate Reasoning
Start: 2025-12-03T11:00:00-08:00
End: 2025-12-03T12:30: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

Engineering Teaching Community (Faculty)

A Celtic Christmas

BE Climate Connectors

Fermentation Basics

UCSC Jazz Big Band with guest artist Benny Green

UCSC Jazz Combos

UCSC Concert Choir

Fall 2025 Open Studios

Barnstorm Presents: Musical Theater Showcase

Behavioral, Econometrics and Theory Seminar Series Presents: Jacopo Magnani

College Night: Pop Music Around the World – KPop Demon Hunters

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