13 events found.

Lectures & Presentations

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
Lectures & Presentations

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

Lectures & Presentations

Macroeconomics & International Finance Seminar Series Presents: Yuriy Gorodnichenko

The Role of Corporations in Adapting to or Avoiding a +3ºC World

The Role of Corporations in Adapting to or Avoiding a +3ºC World

Corporations at Climate Crossroads: Book Talk with Lily Hsueh

CSE Colloquium – Flux: Refinement Types for Verified Rust Systems

Jorquera, Z. (CSE) – Quantum Entanglement Bounds and the Approximation Algorithms That Use Them

Job search strategies in a competitive market

Ellen Bass: Morton Marcus Poetry Reading

Ramollari, H. (ECE) – An Optofluidic Spectrometer and Applications in Biosensing

Chen, Q. (CSE) – New Approximation and Online Algorithms using Novel Combinatorial Structures

AM Seminar: Linear Stochastic Emulators of the Ocean Circulation based on Balanced Truncation: A Caution, perhaps, for Machine Learning?

Dried Wreath Workshop

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