Name: When Less is More: Applications of Type-Based
Start: 2025-12-03T00:00:00
Location: Engineering 2, 1156 High St

When Less is More: Applications of Type-Based

Updated: 02 December 2025, 09:59 PM

Event Details

Date: 03 December 2025

Time: 7:00 - 8:30 PM

City: Santa Cruz, CA

Country: United States

Location: Engineering 2, 1156 High St

Location Map

References and Tickets

Applications of Type-Based Underapproximate Reasoning - Events

When Less is More: Applications of Type-Based Underapproximate Reasoning Â· Presenter: Suresh Jagganathan, Purdue University Â· Abstract: Â· Bio:.

Computer Science and Engineering

Upcoming events. When Less is More: Applications of Type-Based Underapproximate Reasoning. December 3, 2025. Engineering 2. GradWiC Womxn's Lunch. December 4,Â ...

Baskin School of Engineering - UC Santa Cruz

Upcoming Events. When Less is More: Applications of Type-Based Underapproximate Reasoning. December 3, 2025. Engineering 2. GradWiC Womxn's Lunch. December 4,Â ...