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

Nov 2025
- Mon 24
  - 7:30 pm
    
    Virtual Event
    Crown/Merrill Peer Advising: Drop-in Zoom
- Tue 25
  - 11:30 am
    
    Faculty Community Network – Indigenous
    
    Free
  - 5:30 pm
    
    Yoga as Healing Series
  - 7:00 pm
    
    Drop-In Figure Drawing
    
    FREE and open to the public.
  - 7:30 pm
    
    UCSC Orchestra
    
    General Admission
- Wed 26
  - 9:00 am
    
    November Coffee With Merrill College Provost Aims McGuinness
- Thu 27
  - 1:00 pm
    
    Harvest Meal
  - 5:00 pm
    
    Rainbowsgiving
- Sun 30
  - 10:00 am
    
    Dried Wreath Workshop
    
    Sliding scale
Dec 2025
- Mon 1
  - 11:00 am
    
    Info Session: Global Seminar Eco-Entrepreneurship in the Netherlands
  - 12:00 pm
    
    Road Trip! Light in the American West, from Baja to the Yukon
    
    Free
  - 4:00 pm
    
    Virtual Event
    AM Seminar: Denoising: A Powerful Building Block for Imaging, Inverse Problems and Machine Learning
- Tue 2
  - 9:00 am
    
    Community Day: Free Admission at the Arboretum
  - 12:00 pm
    
    Women’s Basketball Fundraiser at Woodstock’s
  - 2:00 pm
    
    Gingerbread House Decorating
  - 5:30 pm
    
    UC Santa Cruz Comprehensive Habitat Conservation Plan Informational Webinar
    
    Free
  - 7:00 pm
    
    Megha Majumdar – A Guardian and a Thief
  - 7:00 pm
    
    Virtual Event
    NLP MS Virtual Information Session
- Wed 3
  - 9:00 am
    
    Free Coffee, Tea, & More with Merrill Provost Aims McGuinness
  - 11:00 am
    
    When Less is More: Applications of Type-Based Underapproximate Reasoning
    
    Free

Last modified: Jan 28, 2026

Nov 2025

Mon 24

Tue 25

Wed 26

Thu 27

Sun 30

Dec 2025

Mon 1

Tue 2

Wed 3