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!


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  


  • 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.


pic1 pic2 pic3 pic4 pic5 pic6 pic7 pic8