BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Events - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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
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:20251028T110000
DTEND;TZID=America/Los_Angeles:20251028T121500
DTSTAMP:20260407T043605
CREATED:20251020T202827Z
LAST-MODIFIED:20251022T182819Z
UID:10004952-1761649200-1761653700@events.ucsc.edu
SUMMARY:CSE Colloquium: A Journey from Programming Systems Research to AI Agents
DESCRIPTION:Speaker: Koushik Sen\, UC Berkeley and Google DeepMind \nAbstract: Coding has emerged as an important application area for large language models (LLMs)\, with a proliferation of code-specific models and their applications across various domains and tasks such as program repair\, performance optimization\, debugging\, test generation\, documentation\, and security hardening. In this talk\, I will describe how we built powerful coding agents such as R2E-Gym and DeepSWE using test-driven methodology for solving various kinds of coding tasks\, such as repair\, optimization\, security vulnerability detection\, and refactoring.  I will also discuss a novel technique\, called GEPA\, for domain-specific optimization of AI agent systems\, which has shown a significant advantage over reinforcement learning. \nBio: Koushik Sen is a professor in the Department of Electrical Engineering and Computer Sciences at the University of California\, Berkeley. His research interest lies in Software Engineering\, Programming Languages\, and AI. He is interested in developing software tools and methodologies that improve programmer productivity and software quality. He is known for his work on “DART: Directed Automated Random Testing\,” concolic testing\, and LiveCodeBench. He has received a NSF CAREER Award in 2008\, a Haifa Verification Conference (HVC) Award in 2009\, a IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice in 2010\, a Sloan Foundation Fellowship in 2011\, a Professor R. Narasimhan Lecture Award in 2014\, an Okawa Foundation Research Grant in 2015\, and an ACM SIGSOFT Impact Paper Award in 2019. He has won several ACM SIGSOFT Distinguished Paper Awards. He received the C.L. and Jane W-S. Liu Award in 2004\, the C. W. Gear Outstanding Graduate Award in 2005\, and the David J. Kuck Outstanding Ph.D. Thesis Award in 2007\, and a Distinguished Alumni Educator Award in 2014 from the UIUC Department of Computer Science. He holds a B.Tech from the Indian Institute of Technology\, Kanpur\, and an M.S. and Ph.D. in CS from the University of Illinois at Urbana-Champaign. \n\nHosted by: Professor Mohsen Lesani \nLocation: Engineering 2\, E2-180 (Refreshments such as coffee and pastries will be provided.) \nZoom: https://ucsc.zoom.us/j/93445911992?pwd=YkJ2TQtF79h0PcNXbEcpZLbpK0coiY.1&jst=3
URL:https://events.ucsc.edu/event/cse-colloquium-a-journey-from-programming-systems-research-to-ai-agents/
LOCATION:Engineering 2\, Engineering 2 1156 High Street\, Santa Cruz\, CA\, 95064
CATEGORIES:Lectures & Presentations
ATTACH;FMTTYPE=image/jpeg:https://events.ucsc.edu/wp-content/uploads/2025/10/ksen.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:20251105T110000
DTEND;TZID=America/Los_Angeles:20251105T121500
DTSTAMP:20260407T043605
CREATED:20251015T215159Z
LAST-MODIFIED:20251022T182643Z
UID:10004885-1762340400-1762344900@events.ucsc.edu
SUMMARY:CSE Colloquium: Mitigating Data Scarcity via Simulation by Roozbeh Mottaghi
DESCRIPTION:Presenter: Roozbeh Mottaghi\, University of Washington \nAbstract: Data has revolutionized progress across AI fields like natural language processing and computer vision. Yet\, in robotics\, data collection remains a significant challenge: robots must interact with complex\, dynamic environments\, making the process slow\, costly\, and difficult to scale. In this talk\, I will discuss how simulation is transforming the landscape of robotics research by addressing these data bottlenecks. I will introduce Habitat 3.0\, a 3D simulator designed for training and evaluating robotic agents in dynamic environments that include human interactions. Focusing on collaborative human-robot tasks\, I will present PARTNR\, a simulation benchmark designed to rigorously evaluate planning and reasoning in interactive settings. I will share key insights from this benchmark\, revealing both the impressive capabilities of current LLMs and the significant challenges they encounter when faced with the complexities of real-world environments. \nBio: Roozbeh Mottaghi is a Senior Research Scientist Manager at FAIR and an Affiliate Associate Professor in Paul G. Allen School of Computer Science and Engineering at the University of Washington. Prior to joining FAIR\, he was the Research Manager of the Perceptual Reasoning and Interaction Research (PRIOR) group at the Allen Institute for AI (AI2). He obtained his PhD in Computer Science in 2013 from the University of California\, Los Angeles. After PhD\, he joined the Computer Science Department at Stanford University as a post-doctoral researcher. His research mainly focuses on embodied AI\, reasoning via perception\, and learning via interaction\, and his work on large-scale Embodied AI received the Outstanding Paper Award at NeurIPS 2022. \n\n\n\n\n\n\nFaculty Host: Professor Mohsen Lesani \n\nLocation: Engineering 2\, E2-180\n\n*Refreshments such as coffee and pastries will be provided.\n\nZoom: https://ucsc.zoom.us/j/93445911992?pwd=YkJ2TQtF79h0PcNXbEcpZLbpK0coiY.1&jst=3
URL:https://events.ucsc.edu/event/cse-colloquium-mitigating-data-scarcity-via-simulation-by-roozbeh-mottaghi/
LOCATION:Engineering 2\, Engineering 2 1156 High Street\, Santa Cruz\, CA\, 95064
CATEGORIES:Lectures & Presentations
ATTACH;FMTTYPE=image/jpeg:https://events.ucsc.edu/wp-content/uploads/2025/10/profile_roozbehM.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:20251203T110000
DTEND;TZID=America/Los_Angeles:20251203T123000
DTSTAMP:20260407T043605
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:20260128T110000
DTEND;TZID=America/Los_Angeles:20260128T150000
DTSTAMP:20260407T043605
CREATED:20260105T222637Z
LAST-MODIFIED:20260223T202834Z
UID:10008284-1769598000-1769612400@events.ucsc.edu
SUMMARY:STEM Career & Internship Fair
DESCRIPTION:Here is a chance to meet STEM recruiters in person! \nIf you are interested in pursuing a career in science\, technology\, engineering\, mathematics or research\, then take advantage of this opportunity to meet recruiters from companies looking to fill various positions (both technical and non-technical). Learn more about internships and full-time career opportunities. Undergraduate students\, graduate students\, and recent alumni are all welcome to attend! \nCurious about how to best prepare for the fair? \n1. Research the organization \nIdentify the top 3-5 companies you are interested in\, but remember to be open to different companies you may not have heard of because they may be a startup or business-to-business organization that doesn’t directly serve consumers. \nDo your research by reviewing company websites. Look for their mission\, values\, location\, and the type of available opportunities (e.g.\, internships\, full-time positions\, etc.). Company representatives are impressed by potential candidates who take the time to do this! \n2. Prepare your introduction and questions \nReflect on what it is about each company that resonates with you. Perhaps it’s the specific technology they’re developing\, the research they’re leading\, or the world problem they’re trying to solve. What relevant experiences do you have? How can you be of service to that organization? Exercise critical thinking skills to develop questions to ask recruiters and hiring managers. \n3. Dress with confidence \nEach industry and each company has different work attire expectations and organizational culture. Do your research\, ask mentors in advance for advice\, and dress to impress! \nPLEASE NOTE: You are encouraged to check in at the student registration table in order to participate in the career fair. Bring your student ID. \nWant more support? \n\nVisit a peer coach during drop-in hours\nSchedule a career coaching appointment with a Career Engagement Specialist\nFor PhD students looking to pursue careers in industry\, explore Beyond the Professoriate\n(Scroll over “Login to Platform” at the top navigation bar and click “Through your institution”)\nGet career tips on demand from our Career Success YouTube video library\nStay in the loop by following Career Success on Instagram\n\nYou will receive registration and additional information in your email from Career Success via Handshake. Please make sure to check your junk/spam folder if you are not receiving any communication.\n \nYou Belong Here: The programs and services described here are open to all\, consistent with state and federal law\, as well as the University of California’s nondiscrimination policies. Every initiative—whether a student service\, faculty program\, or community event—is designed to be accessible\, inclusive\, and respectful of all identities. \nTo learn more\, please visit UC Nondiscrimination Statement or Nondiscrimination Policy for UC Publications. \nQuestions? Send to csuccess@ucsc.edu or visit Career Success at Hahn 125 East Entrance\nNeed accessibility support? Let us know at slugtalent@ucsc.edu at least two weeks prior to the fair date. \nCareer fair registrations are made without endorsement\, direct or implied\, by Career Success or UCSC. Career Success educates students about various opportunities and ensures equity of access to campus recruiting activities for all employers who abide by our Employer Policies. Individual students are encouraged to determine which employers align with their diverse talents\, values\, and interests.
URL:https://events.ucsc.edu/event/stem-career-internship-fair/
LOCATION:Stevenson Event Center\, Stevenson Service Road\, Santa Cruz\, CA\, 95064
CATEGORIES:Meetings & Conferences
ATTACH;FMTTYPE=image/jpeg:https://events.ucsc.edu/wp-content/uploads/2026/01/1.jpg
GEO:36.996897;-122.0512963
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Stevenson Event Center Stevenson Service Road Santa Cruz CA 95064;X-APPLE-RADIUS=500;X-TITLE=Stevenson Service Road:geo:-122.0512963,36.996897
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20260225T150000
DTEND;TZID=America/Los_Angeles:20260225T170000
DTSTAMP:20260407T043605
CREATED:20260211T203445Z
LAST-MODIFIED:20260218T010402Z
UID:10009206-1772031600-1772038800@events.ucsc.edu
SUMMARY:February 25\, 2026 | Works-in-Progress with Geoffrey Bowker
DESCRIPTION:Wednesday\, February 25\, 2026 \n3:00 – 5:00 PM \nHumanities 1\, Room 210 or Zoom (Registration) \nJoin SJRC scholars in Humanities 1\, room 210 or on Zoom for an open discussion of works-in-progress! This is a wonderful chance to engage with one another’s ideas\, and support our own internal work. \nAt this session\, we will hear from Geoffrey Bowker\, Emeritus Professor in Irvine and Science & Justice Advisor about works-in-progress and ongoing work on the death of infrastructure\, AI\, and underwater network cables and his collaborative comic book on Actor Network Theory. SJRC members Warren Sack and Dimitris Papadopolous will act as “warm up” discussants. \nContact Colleen Stone (colleen@ucsc.edu) or Maria Puig de la Bellacasa (puig@ucsc.edu) for the readings\, including a new comic book on the graveyard of machines! \nRegister for Zoom here. \nGeoffrey C. Bowker is Emeritus Professor at the School of Information and Computer Science\, University of California at Irvine\, where he directed a laboratory for Values in the Design of Information Systems and Technology. He was also Professor of and Senior Scholar in Cyberscholarship at the University of Pittsburgh School\, and Executive Director\, Center for Science\, Technology and Society\, Santa Clara. He was awarded the prestigious 4S Bernal Prize in 2024 for his distinguished\, career-long contributions to the field of Science and Technology Studies (STS). His book Memory Practices in the Sciences (MIT Press 2008) won the 2007 Ludwig Fleck Prize of the Society for Social Studies of Science\,  and was awarded “Best Information Science Book” by the American Society for Information Science and Technology (ASIS&T). \nCo-sponsored by earthecologies x technoscience conversations\, History of Consciousness
URL:https://events.ucsc.edu/event/february-25-2026-works-in-progress-with-geoffrey-bowker/
CATEGORIES:Seminars
END:VEVENT
END:VCALENDAR