TUPLES 2025 - Student Conference
TUPLES (Theory Union Programming Languages at Edinburgh Successor) is our annual TypeSig conference: one day full of research talks designed for students! The talks will be given by 12 speakers from renowned institutions in the UK and will be organised in two parallel tracks. You can choose to attend talks from both tracks:
- Track A: algorithmic game theory, complexity theory, cryptography and more.
- Track B: principles of programming languages, type theory, formal verification, compilers, and more.
Academics working on the cutting-edge will introduce advancements in their fields to you! Both undergraduates and early stage researchers should find it useful. What’s more, you get to meet and talk to academics after their talks and find peers that are interested in interesting things!
Details
Date: Sunday, 23rd of February 2025
Location: Nucleus Building, University of Edinburgh
Time: 10:00 AM - 5:30 PM
Register now!
Get your ticket here! The ticket gives you:
- full catering, with lunch, coffee break, and snacks
- access to all talks possible, though talks from different tracks might run in parallel
- free exclusive TypeSig-branded items (stickers and more!)
Schedule
| Time | Track A | Track B |
|---|---|---|
| 09:50 | Opening remarks | Opening remarks |
| 10:00 | ||
| 11:00 | ||
| 12:00 | Lunch | Lunch |
| 13:00 | ||
| 14:00 | ||
| 15:00 | Break | Break |
| 15:30 | ||
| 16:30 | ||
| 17:30 | Closing remarks | Closing remarks |
Talks
More details about the talks and speakers will be added here very soon!
Expected Audience
TUPLES 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 TUPLE 2024 (our last year’s conference) as well as TypeSig’s previous events this year, we expect TUPLES 2025 to attract significant attention from the student body in and outwith the the School of Informatics at the University of Edinburgh.
Sponsors
