1 event found.

Computer

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
Computer

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