BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Events - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Events
X-ORIGINAL-URL:https://events.ucsc.edu
X-WR-CALDESC:Events for Events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20240310T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20241103T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20250309T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20251102T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20260308T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20261101T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20251203T110000
DTEND;TZID=America/Los_Angeles:20251203T123000
DTSTAMP:20260519T120219
CREATED:20251103T224713Z
LAST-MODIFIED:20251119T191907Z
UID:10005028-1764759600-1764765000@events.ucsc.edu
SUMMARY:When Less is More: Applications of Type-Based Underapproximate Reasoning
DESCRIPTION:Presenter: Suresh Jagganathan\, Purdue University\n\n\nAbstract:\nUnlike program verifiers\, symbolic execution and property-based testing tools underapproximate program behavior: they aim to report only real bugs (no false positives)\, at the cost of potentially missing some (false negatives). Recent work has sought to place such tools on a more formal footing\, primarily through the development of incorrectness logics that capture a program’s ‘must’ rather than ‘may’ behavior. This talk explores how to transplant these ideas of underapproximation into an expressive refinement type system. Our development enables us to:\n\n(a) Typecheck the completeness of property-based testing (PBT) generators\, ensuring that a well-typed generator produces all values (i.e.\, fully covers) its output type;\n\n(b) Synthesize effectful generators by extending the type system to model underapproximations of sequences of effects rather than just values; and\n\n(c) Guide symbolic execution in effectful functional programs\, prioritizing execution paths capable of falsifying data structure safety properties.\n\nOur results demonstrate that viewing types through the lens of underapproximation offers a principled foundation for designing\, implementing\, and reasoning about program analyzers and test generators\, significantly improving their reliability and practical utility in the process.\n\n\nBio:\nSuresh Jagannathan is the Samuel D. Conte Professor of Computer Science at Purdue University. His interests span functional programming\, program verification\, distributed and concurrent systems\, and trustworthy machine learning. In recent years\, he has spent time as an Amazon Scholar\, a program manager at the Information Innovoation Office (I2O) at DARPA\, and a visiting researcher at the University of Cambridge. He serves an Associate Editor of ACM TOPLAS\, and has served as both General and PC Chair of POPL (ACM Symposium on Programming Languages).\n\n\nHosted by: Professor Mohsen Lesani\n\n\nLocation: E2-180\n*Refreshments such as coffee and pastries will be provided\n\n\n\nZoom: https://ucsc.zoom.us/j/93445911992?pwd=YkJ2TQtF79h0PcNXbEcpZLbpK0coiY.1&jst=3
URL:https://events.ucsc.edu/event/when-less-is-more-applications-of-type-based-underapproximate-reasoning/
LOCATION:Engineering 2\, Engineering 2 1156 High Street\, Santa Cruz\, CA\, 95064
CATEGORIES:Lectures & Presentations,Seminars
ATTACH;FMTTYPE=image/png:https://events.ucsc.edu/wp-content/uploads/2025/11/Screenshot-2025-11-03-at-2.45.08-PM.png
GEO:37.0009723;-122.0632371
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Engineering 2 Engineering 2 1156 High Street Santa Cruz CA 95064;X-APPLE-RADIUS=500;X-TITLE=Engineering 2 1156 High Street:geo:-122.0632371,37.0009723
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20251203T115000
DTEND;TZID=America/Los_Angeles:20251203T131000
DTSTAMP:20260519T120219
CREATED:20251108T002424Z
LAST-MODIFIED:20251125T164318Z
UID:10005121-1764762600-1764767400@events.ucsc.edu
SUMMARY:Applied Microeconomics and Trade Seminar Series presents: Matt Weinberg
DESCRIPTION:Applied Microeconomics and Trade Seminar\nDate: Wednesday\, December 3\, 2025\nTime: 11:50am – 1:10 p.m.\nLocation: E2-499\n\n \n\nSpeaker: Matt Weinberg \nTitle: Professor of Economics \nAffiliation: Ohio State University\nHost: Jon Robinson\n \nSeminar title: Oligopsony and Collective Bargaining: Evidence from K-12 Teachers \n\nABSTRACT:  Employers facing limited labor market competition may suppress wages below socially optimal levels. Unions can counteract this wage suppression through collective bargaining\, though the may also push wages above the socially optimal level. To assess these forces\, we estimate a structural model of labor supply\, labor demand\, and Nashin-Nash bargaining over wages between teacher unions and school districts in Pennsylvania’s K-12 public school system from 2013 to 2020. Using the estimated parameters\, we compare negotiated equilibrium wages and employment to the pure oligopsony scenario and the social planner scenario. On average\, pure oligopsony reduces wages 16 percent below the social optimum\, while collective bargaining raises wages by 9 percent above the optimum. This average masks substantial district-level heterogeneity driven by variation in bargaining power. Twenty-seven percent of schools have negotiated salaries below the social optimum due to cross-district externalities\, where high salaries at one school lead to hiring reductions\, which increase labor supply in competing districts. 
URL:https://events.ucsc.edu/event/applied-microeconomics-and-trade-seminar-series-presents-matt-weinberg/
LOCATION:Engineering 2\, Engineering 2 1156 High Street\, Santa Cruz\, CA\, 95064
CATEGORIES:Seminars
GEO:37.0009723;-122.0632371
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Engineering 2 Engineering 2 1156 High Street Santa Cruz CA 95064;X-APPLE-RADIUS=500;X-TITLE=Engineering 2 1156 High Street:geo:-122.0632371,37.0009723
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20251203T120000
DTEND;TZID=America/Los_Angeles:20251203T130000
DTSTAMP:20260519T120219
CREATED:20251118T230141Z
LAST-MODIFIED:20251120T222018Z
UID:10005204-1764763200-1764766800@events.ucsc.edu
SUMMARY:Marketing Yourself In The Arts Industry
DESCRIPTION:Join the Arts Division and Career Success for a fast-paced\, interactive online workshop on how to market yourself in the Arts—the event will cover personal branding\, transferable skills\, networking\, gig work and more\, giving you clear action steps to stand out in Arts-related careers and beyond.\n—\nADMISSION\n– FREE for UCSC students\n– Registration required here\n—\nThis program is open to all UC Santa Cruz affiliates consistent with state and federal law.
URL:https://events.ucsc.edu/event/marketing-yourself-in-the-arts-industry/
LOCATION:
CATEGORIES:Lectures & Presentations
ATTACH;FMTTYPE=image/png:https://events.ucsc.edu/wp-content/uploads/2025/11/Marketing-Yourself-in-the-Arts-Industry-1-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20251203T180000
DTEND;TZID=America/Los_Angeles:20251203T190000
DTSTAMP:20260519T120219
CREATED:20251103T201229Z
LAST-MODIFIED:20251103T201434Z
UID:10005024-1764784800-1764788400@events.ucsc.edu
SUMMARY:Learn about the Educational Therapy Certificate Program
DESCRIPTION:Transform learning.\nJoin Educational Therapy certificate program chair Sharmila Roy for a thoughtful program overview and hear how the uniquely designed curriculum empowers educators and professionals to make a lasting impact– in the classroom and beyond. As one of the few AET-approved programs\, you’ll learn to assess learning challenges and apply effective\, research-based interventions. \nEmpower students and build your practice\nGain skills to support students with learning differences like dyslexia\, ADHD\, and autism using therapeutic and educational strategies. Whether you’re working in schools or starting a private practice\, this program helps you create individualized plans that foster meaningful progress. \nProgram organizer\nThis fall info session is sponsored by the Educational Therapy certificate program\, a program approved by the Association of Educational Therapists. \nClaim your seat- register today!
URL:https://events.ucsc.edu/event/learn-about-the-educational-therapy-certificate-program/
LOCATION:
CATEGORIES:Lectures & Presentations,Meetings & Conferences,Training
ATTACH;FMTTYPE=image/png:https://events.ucsc.edu/wp-content/uploads/2025/11/SM-Cal-20.png
END:VEVENT
END:VCALENDAR