TUPLE (Types Union Programming Languages, Edinburgh) is a new student conference organised by TypeSig. The goal of the conference is to introduce more undergraduate students to research in programming language theory and theoretical computer science.

The conference is scheduled to take place on the 21st February, 2024 at the Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB.

The conference is over! Many thanks to everyone who attended!

Schedule

09:50 :	Opening remarks
10:00 :	Talk - Julian Bradfield
11:00 :	Talk - Wenhao Tang	slides
12:00 :	Lunch
13:00 :	Talk - Conor McBride	files
14:00 :	Talk - Jad Ghalayini	files
15:00 :	Break
15:30 :	Talk - Paul Jackson	slides
16:30 :	Talk - Bob Atkey	files
17:30 :	Closing remarks
18:00 :	Everyone leaves

Talks

• Dr Conor McBride, Strathclyde: Dependent types
• Dr Bob Atkey, Strathclyde: Denotational semantics
• Dr Julian Bradfield, Edinburgh: Model checking
• Dr Paul Jackson, Edinburgh: Proof presentation in theorem provers (with a focus on Lean!)
• Tang Wenhao, Edinburgh: Soundly handling linearity (POPL 2024 Distinguished Paper!)
• Jad Ghalayini, Cambridge: Compiler optimisation and category theory

Expected Audience

TUPLE is the culmination of sustained student interest in PL research over the past few years. We aim to expose more undergraduate and graduate students to PL through a day of academic talks delivered by researchers in the field. The intended audience is primarily undergraduate students with some prior exposure to PL through functional programming, although anyone is welcome to attend.

Based on the successful precedent of PwnEd 2023 (a cybersecurity conference run by another CompSoc SIG) as well as TypeSig’s previous events this year, we expect TUPLE to attract significant attention from the student body in and outwith the the School of Informatics at the University of Edinburgh.

Pictures!