TUPLE Conference
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 SIGINT, 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!
