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: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:20260413T080000
DTEND;TZID=America/Los_Angeles:20260515T170000
DTSTAMP:20260510T164237
CREATED:20260214T011406Z
LAST-MODIFIED:20260415T142739Z
UID:10009233-1776067200-1778864400@events.ucsc.edu
SUMMARY:2026 Right Livelihood International Conference
DESCRIPTION:The Right Livelihood International Conference is a five-week global conference exploring how education can strengthen democracy\, collective intelligence\, and just futures. Bringing together Right Livelihood Laureates\, students\, faculty\, and community partners across continents\, the conference combines asynchronous learning with participatory dialogue and collaborative action. Rather than advocating specific outcomes\, the conference positions education as a democratic practice and the Right Livelihood College as a steward of dialogue\, student voice\, and long-term institutional learning. \nRegistration is free and open to the public. Sign up to receive conference updates\, session links\, and participation opportunities.
URL:https://events.ucsc.edu/event/2026-right-livelihood-international-conference/
LOCATION:
CATEGORIES:Film Screening,Lectures & Presentations,Meetings & Conferences,Ph.D. Presentations,Seminars,Social Gathering,Training,Undergraduate,Workshop
ATTACH;FMTTYPE=image/png:https://events.ucsc.edu/wp-content/uploads/2026/02/World-with-dots.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20260429T110000
DTEND;TZID=America/Los_Angeles:20260429T121500
DTSTAMP:20260510T164237
CREATED:20260402T185047Z
LAST-MODIFIED:20260402T185047Z
UID:10011848-1777460400-1777464900@events.ucsc.edu
SUMMARY:CSE Colloquium - Towards Safe and Resilient Large-scale Distributed Programming
DESCRIPTION:Presenter: Philipp Haller\, KTH Royal Institute of Technology \nAbstract: \nDistributed programming is notoriously difficult. Not only are distributed systems concurrent\, they pose additional challenges including data consistency and fault tolerance. At the same time\, the share of software systems that are necessarily distributed systems is growing rapidly. As a result\, too many software developers are asked to become distributed systems experts. Thus\, tools and techniques for ensuring the correctness of distributed systems are urgently needed in order to leave this unsustainable trajectory. This talk presents research results towards the design and implementation of programming systems that support emerging applications and workloads; provide reliability and trust; and embrace simplicity and accessibility. Concretely\, the presented work focuses on two directions. \nThe first direction explores a distributed programming model that provides consistency while enabling high availability for workloads operating on join-semilattices without sacrificing partition tolerance. We propose a new consistency protocol\, called observable atomic consistency protocol (OACP)\, which leverages on-demand coordination to support both coordination-free operations as well as totally-ordered operations on replicated data types. We present a formal\, mechanized model of OACP in rewriting logic and verify key correctness properties using the model checking tool Maude. Furthermore\, we present the evaluation of a prototype implementation of OACP based on Akka\, a widely-used actor-based middleware. The second direction explores a programming system that aims to reconcile the scalability and fault tolerance of stream processing systems with the flexibility of the actor concurrency model. The programming system ensures a failure-transparency property\, effectively masking failures through transparent recovery. Our work is the first to formalize failure transparency using a small-step operational semantics\, and to provide proofs of failure transparency for stateful dataflow streaming and a fault-tolerant actor-based programming model. \nBio: \nPhilipp Haller is an Associate Professor in the School of Electrical Engineering and Computer Science (EECS) at KTH Royal Institute of Technology in Stockholm\, Sweden. His main research interests are in the design and implementation of programming languages\, type systems\, concurrency\, and distributed programming. He was part of the team that received the 2019 ACM SIGPLAN Programming Languages Software Award for the development of the Scala programming language. Prior to KTH\, he was an early employee at Akka (previously Lightbend\, Inc.)\, a start-up company developing and supporting Scala as well as frameworks for large-scale distributed programming. Prior to Akka\, he was a post-doctoral fellow at Stanford University\, USA\, and at EPFL\, Switzerland. In 2010 he received his PhD in computer science from EPFL\, including a nomination for the 2010 EPFL Doctorate Award. In 2006 he received his Dipl.-Inform. degree from Karlsruhe Institute of Technology (previously University of Karlsruhe)\, Germany. \nHosted by: Professor Mohsen Lesani \nLocation: Engineering 2\, Room E2-180 (Refreshments such as fruit\, pastries\, coffee\, and tea will be provided.) \nZoom Option: https://ucsc.zoom.us/j/93445911992?pwd=YkJ2TQtF79h0PcNXbEcpZLbpK0coiY.1&jst=3
URL:https://events.ucsc.edu/event/cse-colloquium-towards-safe-and-resilient-large-scale-distributed-programming/
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/2026/03/BElogoWHITE.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
END:VCALENDAR