Presenter: Peyman Milanfar, Distinguished Scientist, Google Description: Denoising, the process of reducing random fluctuations in a signal to emphasize essential patterns, has been a fundamental problem of interest since the dawn of modern scientific inquiry. Recent denoising techniques, particularly in imaging, have achieved remarkable success, nearing theoretical limits by some measures. Yet, despite tens of […]

Please join us to learn more about the UC Santa Cruz Comprehensive Habitat Conservation Plan (HCP).  The Campus Planning Department is hosting an upcoming informational webinar about the proposed Comprehensive Habitat Conservation Plan (HCP) for the Main Residential Campus, Westside Research Park and the Coastal Science Campus on Tuesday, December 2, 2025. The informational webinar will provide information to the campus […]

Interested in a career in generative AI? Join us Dec. 2 from 7 – 8 PM for our Virtual Information Session. Learn more about our program, based at the UCSC Silicon Valley Campus, where you can earn your NLP MS in as little as 15 months. We offer: Application fee waivers for UCSC students and […]

Presenter: Suresh Jagganathan, Purdue University Abstract: Unlike 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 […]

Applied Microeconomics and Trade Seminar: Matt Weinberg

Career success arts marketing

Transform learning. Join 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. Empower […]

Presenter 1: Gali Bai, BME/PBSE Doctoral Candidate, Brooks Lab, UC Santa Cruz Title 1: Dissecting the contribution of chromatin accessibility to RNA transcription and processing with long-read sequencing Description: Although all cells in an organism share the same genomic sequence, transcriptional programs vary dramatically across cell types. This diversity is governed by epigenetic regulation involving […]

About the Talk: The history of hinterland communities is largely written in remote landscapes that today are often targeted for infrastructural development that forcibly relocates existing residents and transforms the land, obliterating those histories, and weakening communities. In 1984/5 the Iban longhouse at Nanga Jela on Sarawak’s Engkari River in Malaysian Borneo, along with twenty-one other […]

Economics Behavioral, Econometrics and Theory Seminar: Jacopo Magnani

Join Dean PK Agarwal for this free online session. He’ll lead a forward-looking conversation on emerging job roles in tech, sustainability, health, and creative industries. Learn how industry convergence and global trends are shaping new career paths and the skills you’ll need to stay relevant. Discover which industries are driving job creation and how roles […]

Build Your Career in Embedded Systems While hiring has slowed in some tech sectors, the demand for skilled Embedded Systems professionals continues to grow across industries. At this free winter info session, you’ll learn about emerging roles in embedded technology and the essential skills that make your resume stand out. Discover how AI is being […]

Summer 2026 classes are now posted at summer.ucsc.edu. Explore courses and start planning your summer schedule over winter closure! Days and times will be in the schedule of classes on March 15. Email summer@ucsc.edu with questions.

Simulation is a coinductive proof technique to assert the behavioral equivalence of computing systems that has seen fruitful application in distributed systems, concurrent process calculi, and programming languages, since the 1970’s. We have also utilized simulation in our prior work, where we formalized and proved a folklore claim that the state-based and operation-based approaches to […]

In this work, we develop numerical methods for conservation laws that explore statistical, structure-preserving, and machine-learning-based approaches, each built on top of traditional numerical solvers. First, we develop a general Gaussian-process-based “recipe’’ for constructing high-order linear operators such as interpolation, reconstruction, and derivative approximations. Building on this recipe, we derive a kernel-agnostic convergence theory for […]

Hardware design flows have become increasingly complex as modern chips integrate billions of transistors and rely on aggressive synthesis optimizations to meet performance, area, and power targets. While these transformations improve circuit efficiency, they also erase the correspondence between gate-level netlists and their originating HDL source lines. The loss of traceability makes post-synthesis debugging, timing […]

Please join the Dickens Project for the rescheduled Dickens Universe talk by John Jordan, Dickens Project Co-Founder and Co-Director. Delve into the sounds of ‘The Old Curiosity Shop’ on Sunday, December 7, from 1:00-2:30 PM (Pacific time).