11 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

Events

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

Today

Select date.

This event does not have a mappable address.

View Event Details

Previous Events
Today
Next Events

Google Calendar
iCalendar
Outlook 365
Outlook Live
Export .ics file
Export Outlook .ics file

Events

Add an event
Support

Twitter
Instagram
Facebook
YouTube
LinkedIn

Last modified: Jan 16, 2026

UCSC Chamber Singers

Campus Clean-Up Day 2025

Boundaries & Communication: International Grad Student Circle

UCSC Orchestra

Harvest Meal

Dried Wreath Workshop

Women’s Basketball Fundraiser at Woodstock’s

Megha Majumdar – A Guardian and a Thief

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