Sat 29 Aug 2026 09:00 - 09:05 at IP126 Auditorium - Morning Session Chair(s): Lindsey Kuper

Lindsey Kuper is an assistant professor at the University of California, Santa Cruz, where she studies programming-language-based approaches to building concurrent and distributed software systems. Her research contributions have included library-level choreographic programming, semantics of replicated data structures, verification of distributed protocols with refinement types, and language and library design for deterministic concurrent programming. She was a co-founder and organizer of !!Con (“bang bang con”), the radically eclectic conference of ten-minute talks on the joy, excitement, and surprise of computing. She is the recipient of the NSF CAREER Award, an ICFP Distinguished Paper Award, and a Google Faculty Research Award, and received her Ph.D. in computer science in 2015 from Indiana University.

Sat 29 Aug

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Morning SessionHaskell at IP126 Auditorium
Chair(s): Lindsey Kuper University of California, Santa Cruz
09:00
5m
Day opening
Welcome (Day 2)
Haskell
Lindsey Kuper University of California, Santa Cruz
09:05
70m
Keynote
What Have We Learned about Dependently Typed Programming from Haskell? (Keynote)Keynote
Haskell
K: Stephanie Weirich University of Pennsylvania
DOI
10:15
15m
Coffee break
Break
Haskell