BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Events - ECPv6.17.2//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: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
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20270314T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20271107T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20260810T103000
DTEND;TZID=America/Los_Angeles:20260810T123000
DTSTAMP:20260721T182603Z
CREATED:20260721T182603Z
LAST-MODIFIED:20260721T182603Z
UID:10015110-1786357800-1786365000@events.ucsc.edu
SUMMARY:Zhao\, Z. (CSE) - TOWARD VERIFIABLE REASONING IN LLMS
DESCRIPTION:Chain-of-thought (CoT) prompting can improve final-answer performance\, but it does not guarantee that intermediate reasoning steps are faithful\, valid\, or checkable. This proposal studies how formal methods can make natural-language reasoning more reliable by translating CoT rationales into Lean artifacts\, checking the resulting theorem statements and proofs\, and using compiler feedback to diagnose and repair failures. The completed work evaluates direct zero-shot and few-shot auto-formalization pipelines for quantity- and logic-focused reasoning problems\, measuring proof type-check rate\, theorem-statement validity\, assumption faithfulness\, and repair behavior. The ongoing work extends this pipeline with AMR-guided semantic representations and altered-rationale stress tests. The planned work proposes methods of modeling LLM Agent thinking in Lean. Together\, these components separate two questions that are often conflated: whether a model translated the reasoning into the right formal goal\, and whether that goal can be proved once translated. The research goal is to develop an evaluation framework and a tool-supported workflow to improve the reliability\, auditability\, and semantic faithfulness of LLM reasoning. \nEvent Host: Zekun Zhao\, Ph.D. Student\, Computer Science & Engineering \nAdvisor: Jeffrey Flanigan \nZoom: https://ucsc.zoom.us/j/96068207641?pwd=anTpLhBXhIdaIhXKDTB32HlDMA6uIO.1 \nPasscode: 656037
URL:https://events.ucsc.edu/event/zhao-z-cse-toward-verifiable-reasoning-in-llms/
LOCATION:Silicon Valley Campus\, 3175 Bowers Avenue\, Santa Clara\, CA\, 95054\, United States
CATEGORIES:Ph.D. Presentations
ATTACH;FMTTYPE=image/jpeg:https://events.ucsc.edu/wp-content/uploads/2026/04/ph.d.-presentation-graphic-option2.jpg
GEO:37.3796975;-121.9765484
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Silicon Valley Campus 3175 Bowers Avenue Santa Clara CA 95054 United States;X-APPLE-RADIUS=500;X-TITLE=3175 Bowers Avenue:geo:-121.9765484,37.3796975
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20260810T183000
DTEND;TZID=America/Los_Angeles:20260810T200000
DTSTAMP:20260716T205143Z
CREATED:20260716T205143Z
LAST-MODIFIED:20260716T205143Z
UID:10015098-1786386600-1786392000@events.ucsc.edu
SUMMARY:August Slugs and Steins with Professor Barbara Rogoff
DESCRIPTION:Learning to be Community-Minded\nHow do children learn to be part of a community\, attentive to what’s going on around them and pitching in to help out? Barbara Rogoff builds on her 50+ years researching and participating with a Mayan community in Guatemala to make the case that people everywhere can learn from Indigenous cultural values of relationality and responsibility\, which are commonly enacted in everyday family and community life. An important practice in many Indigenous-heritage communities of the Americas is including children collaboratively in the endeavors of family and community life even in the youngest years. In the process\, young children often collaborate skillfully and help without being asked\, developing community-mindedness through their shared contributions. \nBarbara Rogoff is UCSC Foundation Distinguished Professor of Psychology at UCSC. She investigates cultural aspects of children’s learning and how communities arrange for learning\, finding especially sophisticated collaboration\, attention\, and community-mindedness among children from some Mexican and Indigenous communities of the Americas. She is an elected member of the American Academy of Arts and Sciences and the National Academy of Education\, and a Fellow of professional organizations in psychology\, anthropology\, and education. She has received Distinguished Lifetime Contributions Awards from international research organizations as well as the Chemers Award for Outstanding Research\, from UCSC. She has held the University of California Presidential Chair and Fellowships of the Center for Advanced Study in the Behavioral Sciences\, Kellogg Foundation\, Spencer Foundation\, and the Exploratorium\, and served as Editor of Human Development. A cat that lives at a University in Pakistan is named in her honor (the cat’s name: “Doctor Barbara Rogoff”). Her award-winning books include Learning Together: Children and Adults in a School Community; The Cultural Nature of Human Development; and Developing Destinies: A Mayan Midwife and Town. \nREGISTER
URL:https://events.ucsc.edu/event/august-slugs-and-steins-with-professor-barbara-rogoff/
CATEGORIES:Lectures & Presentations
ATTACH;FMTTYPE=image/png:https://events.ucsc.edu/wp-content/uploads/2025/10/slugs-and-steins-blackthorn-banner.png
LOCATION:
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20260812T180000
DTEND;TZID=America/Los_Angeles:20260812T183000
DTSTAMP:20260721T192056Z
CREATED:20260721T192056Z
LAST-MODIFIED:20260721T192056Z
UID:10015111-1786557600-1786559400@events.ucsc.edu
SUMMARY:Chat with the AI Chair
DESCRIPTION:AI is advancing faster than ever. Join Praveen Krishna\, chair of the AI Program Advisory Board\, for a discussion of the latest developments shaping the field\, from Agentic AI and AI orchestration to enterprise deployment\, emerging regulations\, local AI models\, and breakthrough innovations. \nThis is a monthly conversation series. Each session highlights timely trends and concludes with an interactive Q&A. \nClaim your seat today. \n\n\n\n\n\nLearn more about the courses and offerings available through our UCSC Silicon Valley Extension AI Application Development program.
URL:https://events.ucsc.edu/event/chat-with-the-ai-chair/
LOCATION:Silicon Valley Campus\, 3175 Bowers Avenue\, Santa Clara\, CA\, 95054\, United States
CATEGORIES:Lectures & Presentations,Meetings & Conferences,Training
ATTACH;FMTTYPE=image/jpeg:https://events.ucsc.edu/wp-content/uploads/2026/02/AI-whats-new-LI-copy.jpg
GEO:37.3796975;-121.9765484
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Silicon Valley Campus 3175 Bowers Avenue Santa Clara CA 95054 United States;X-APPLE-RADIUS=500;X-TITLE=3175 Bowers Avenue:geo:-121.9765484,37.3796975
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20260813T120000
DTEND;TZID=America/Los_Angeles:20260813T130000
DTSTAMP:20260629T190754Z
CREATED:20260629T190754Z
LAST-MODIFIED:20260629T190754Z
UID:10014999-1786622400-1786626000@events.ucsc.edu
SUMMARY:Working Hard Isn’t Enough: The Unspoken Rules That Shape Your Career
DESCRIPTION:Working Hard Isn’t Enough: The Unspoken Rules That Shape Your Career With Ricky Koo\nThursday\, Aug. 13\, 2026 | Noon PT \nVirtual via Zoom \nHosted by UCLA Alumni Association\, open to all UC alumni \nAs a first-generation immigrant\, career coach Ricky Koo was taught to work hard\, stay humble\, and let results speak. Sound familiar? \nHere’s the thing: You can be great at your job and still be misunderstood\, overlooked or underestimated. \nIn this webinar\, Ricky Koo — a first-generation immigrant who rose through the ranks to become a corporate executive before building his own professional coaching business — breaks down what actually shapes how you’re perceived at work\, and how to take control of your professional narrative without being fake\, loud or political in ways that feel misaligned. This isn’t about self-promotion. It’s about self-definition. \nLearn More & Register
URL:https://events.ucsc.edu/event/working-hard-isnt-enough-the-unspoken-rules-that-shape-your-career/
CATEGORIES:Lectures & Presentations
ATTACH;FMTTYPE=image/jpeg:https://events.ucsc.edu/wp-content/uploads/2026/06/cropped-image-15.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20260814T083000
DTEND;TZID=America/Los_Angeles:20260814T103000
DTSTAMP:20260811T162729Z
CREATED:20260811T162729Z
LAST-MODIFIED:20260811T162729Z
UID:10015331-1786696200-1786703400@events.ucsc.edu
SUMMARY:Krishnaswamy\, L. (CSE) - Network Load Balancing for Geographically Distributed Datacenters
DESCRIPTION:As datacenters scale up and become more geographically distributed\, wide-area network inter-datacenter traffic\, which typically consists of data-heavy tasks\, has become increasingly prevalent. Some of the noteworthy challenges raised by the coexistence and interaction between inter- and intra-datacenter traffic are the differences in their QoS requirements\, link utilization\, and round-trip times. To the best of our knowledge\, these challenges have not yet been addressed by current datacenter load balancers. To highlight this gap\, we conducted a comparative performance study of state-of-the-art datacenter load balancers. Through extensive simulations\, we study how they perform under different network topologies and workloads\, including intra-datacenter\, inter-datacenter\, and mixed intra- and inter-datacenter workloads that reflect how datacenters have evolved to keep up with their continuously changing driving application landscape. Our study shows that current load balancers are not able to adequately distribute load under inter-DC workloads as well as mixed intra- and inter-datacenter traffic coexistence.\nMotivated by our observations\, we introduce Balancia\, a transport agnostic\, lightweight network load balancer that dynamically switches between per-flow and per-packet control in order to provide adequate performance for both intra- and inter-DC traffic given their different characteristics and quality-of-service (QoS) requirements. We show that\, when compared against state-of-the-art load balancers\, Balancia achieves close to 80% reduction in the 99% tail flow completion times for inter-datacenter traffic in the presence of intra- and inter-datacenter workload coexistence. Further in this work\, we explore proactively monitoring for congestion with the help of phantom queues and rerouting flows in a timely manner. Through Balancia2.0 we decouple congestion control and load balancing signaling\, and examine its effects on DC and WAN traffic. \nEvent Host: Lakshmi Krishnaswamy\, Ph.D. Candidate\, Computer Science & Engineering \nAdvisor: Katia Obraczka \nZoom: https://ucsc.zoom.us/j/94414934371?pwd=7P3Umt0QQ930ESV02jMvCVHVbkIp9r.1 \nPasscode: 905786
URL:https://events.ucsc.edu/event/krishnaswamy-l-cse-network-load-balancing-for-geographically-distributed-datacenters/
LOCATION:Engineering 2\, Engineering 2 1156 High Street\, Santa Cruz\, CA\, 95064
CATEGORIES:Ph.D. Presentations
ATTACH;FMTTYPE=image/jpeg:https://events.ucsc.edu/wp-content/uploads/2026/04/ph.d.-presentation-graphic-option-1.jpg
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:20260814T141500
DTEND;TZID=America/Los_Angeles:20260814T161500
DTSTAMP:20260810T163804Z
CREATED:20260810T163804Z
LAST-MODIFIED:20260810T163804Z
UID:10015329-1786716900-1786724100@events.ucsc.edu
SUMMARY:Aliamooei Lakeh\, S. (ECE) - Optimization and Decision-Support Frameworks for Resilient Power Systems Under Large-Scale Electrification
DESCRIPTION:The rapid electrification of transportation is creating new interdependencies between power and transportation systems\, particularly during extreme events and disasters. As electric vehicle (EV) adoption increases\, evacuation-related charging demand\, infrastructure disruptions\, and limited access to energy resources introduce challenges that conventional power system planning and operation frameworks were not designed to address. Wildfires provide a critical example: transmission outages and public safety power shutoffs can reduce network capacity while evacuation simultaneously concentrates charging demand along affected transportation corridors. Improving resilience therefore requires coordinated decision-making across the full disaster lifecycle\, from infrastructure preparedness to emergency operation and post-disaster recovery.\nThis research develops optimization and decision-support methods for resilient power systems under large-scale transportation electrification\, addressing three complementary stages of resilience. First\, the research will extend existing infrastructure planning models through a two-stage stochastic mixed-integer programming framework for the strategic siting and sizing of distributed generation\, energy storage systems\, and EV charging infrastructure under disaster uncertainty. Second\, building on a developed single-period nonlinear AC optimal power flow formulation\, the research will extend the framework to multi-period operation to coordinate priority-based EV evacuation charging with mobile EV charger dispatch during grid contingencies while explicitly representing voltage and thermal operating constraints. Third\, a mixed-integer routing and scheduling framework is proposed for the deployment of mobile energy resources\, including energy tankers and vehicle-to-everything (V2X)-capable fleets\, to support electric transportation and critical loads when conventional infrastructure is disrupted.\nTogether\, these components connect long-term infrastructure planning\, emergency grid operation\, and post-disaster energy recovery within an integrated optimization and decision-support framework. The research will build on preliminary results obtained using IEEE benchmark systems and will incorporate California case studies representing wildfire and flooding scenarios. Resilience will be evaluated using technical and operational metrics such as load not served\, priority-weighted EV energy served\, and recovery time. The overall goal is to provide decision-support tools for utilities\, transportation agencies\, and emergency planners to support resilient planning\, operation\, and recovery in increasingly electrified energy and transportation systems. \nEvent Host: Saeed Aliamooei Lakeh\, Ph.D. Student\, Electrical & Computer Engineering \nAdvisors: Keith Corzine and Leila Parsa \nZoom: https://ucsc.zoom.us/j/95295718011?pwd=1Y5vBhoBX9V5OVQ3MJzy4FgyhtO9eb.1 \nPasscode: 545834
URL:https://events.ucsc.edu/event/aliamooei-lakeh-s-ece-optimization-and-decision-support-frameworks-for-resilient-power-systems-under-large-scale-electrification/
CATEGORIES:Ph.D. Presentations
ATTACH;FMTTYPE=image/jpeg:https://events.ucsc.edu/wp-content/uploads/2026/04/ph.d.-presentation-graphic-option2.jpg
LOCATION:
END:VEVENT
END:VCALENDAR