TRIPLE - Student Conference

TRIPLE (Theory, Related Interdisciplinary & Programming Languages at Edinburgh) is our annual TypeSig conference: one day full of research talks designed for students! The talks will be given by 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: Programming Languages, Type Systems, Compiler Theory, and more.
Track B: Formal Verification, Algorithmic Game Theory, Quantum Computing, and more.

Researchers working on the cutting-edge will introduce advancements in their fields to you! The conference is suitable for both undergraduates and early-state researchers. What’s more, you get to meet and talk to the academics after their talks and find peers that are interested in interesting things!

Details

Date: Sunday, 29th of March, 2026
Location: James Clerk Maxwell Building (JCMB), University of Edinburgh
Time: 09:50 AM - 5:30 PM

Tickets

Purchase here!

Schedule

Doors Open - 09:00
Opening Remarks - 09:50
First Talk - 10:00
Lunch Break - 12:00
Break - 15:00
Conference ends - 17:30

Speakers

Prof. Simon Gay, University of Glasgow

Dr. Fredrik Norvall Forsberg, University of Strathclyde

Dr. Andre Videla, Glasgow Lab for AI Verification

Constantine Theocharis, University of St Andrews

Dr. Steven Ramsey, University of Bristol

Dr. Konstantin Korovin, University of Manchester

Dr. Renate Schmidt, University of Manchester

Dr. Vikraman Choudhury & Rin Liu, University of Strathclyde

Prof. Rob van Glabbeek, University of Edinburgh

Dr. Ohad Kammar, University of Edinburgh

Dr. Jan de Muijnck-Hughes, University of Strathclyde

Anton Lorenzen, University of Edinburgh

Talk list - tune in for more in the coming days…

Track A

Trains, Pictures and Types - Prof. Simon Gay

Track B

Symbolic AI for Medical Knowledge Representation & Reasoning - Dr. Renate Schmidt

Expected Audience

TRIPLE 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 TUPLES 2025 (our last year’s conference), as well as TypeSig’s previous events this year, we expect TRIPLE 2026 to attract significant attention from the student body in and outwith the the School of Informatics at the University of Edinburgh.