From 796fe6f34599643d55808882b8bcc58ef500167b Mon Sep 17 00:00:00 2001 From: Gan Shen Date: Thu, 6 Jun 2024 13:50:02 -0700 Subject: [PATCH] Cancel the last talk --- content/lsd-seminar/2024sp.md | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/content/lsd-seminar/2024sp.md b/content/lsd-seminar/2024sp.md index fef6049..fe59bd9 100644 --- a/content/lsd-seminar/2024sp.md +++ b/content/lsd-seminar/2024sp.md @@ -28,7 +28,7 @@ Talks will be advertised on the [ucsc-lsd-seminar-announce](https://groups.googl | [May 17](#may-17) | Zach Sisco | Hardware Decompilation: Recovering Abstraction in Digital Circuits| | [May 24](#may-24) | Guannan Wei | Types and Metaprogramming for Correct, Safe, and Performant Software Systems | | May 31 | Canceled | | -| [June 7](#june-7) | Shun Kashiwa and Gan Shen | *Two practice talks for* [CP 2024](https://pldi24.sigplan.org/home/cp-2024#About) | +| June 7 | Canceled | | --- @@ -156,14 +156,6 @@ In this talk, I will **Bio:** Guannan Wei is a postdoctoral researcher at Purdue University. He will join Tufts University as a tenure-track assistant professor in Fall 2025. His research interests lie in programming languages and software engineering. His contributions have been published in flagship programming languages and software engineering venues, such as POPL, OOPSLA, ICFP, ECOOP, ICSE, and ESEC/FSE. Guannan received his PhD degree (2023) in Computer Science from Purdue University, advised by Tiark Rompf. More of Guannan’s work can be found at https://continuation.passing.style. -## June 7 - -**Speaker:** Shun Kashiwa and Gan Shen - -**Title:** *Two practice talks for* [CP 2024](https://pldi24.sigplan.org/home/cp-2024#About) - -**Abstract:** Abstracts for the relevant papers can be found [here](https://pldi24.sigplan.org/details/cp-2024-papers/6/ChoRus-Library-Level-Choreographic-Programming-in-Rust) and [here](https://pldi24.sigplan.org/details/cp-2024-papers/3/Toward-Verified-Library-Level-Choreographic-Programming-with-Algebraic-Effects). - --- [Archive](../)