TRIPLE

Top researchers at the cutting edge of CS theory will unveil the latest breakthroughs in their fields! Whether you're an undergrad or an early-stage researcher, you'll walk away with fresh insights and inspiration. You’ll have the opportunity to chat with academics after their talks and connect with fellow theory enthusiasts who are just as eager to dive deep into this world as you are!

There will be 2 tracks, running in parallel. You can attend any talk that isn't at the same time (except, perhaps, the quantum one).

Track A: Programming Languages, Type Theory, Compilers, and more.

Track B: Complexity Theory, Quantum Computing, Algorithmic game theory, Formal Verification, and more.

• Full catering, with lunch, coffee break, and snacks
• Access to all talks (however some talks run in parallel)
• Exclusive merch(stickers and more!)

Date: Sunday, 1st of March 2026

Location: Nucleus Building, King's Campus, University of Edinburgh

Timings:

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

We gratefully acknowledge that part of the funding for TRIPLE is provided from a Student Experience Grant which is funded by the University of Edinburgh Development Trust. Without this ongoing support we would not be able to fund these projects which do so much for the quality of the student learning experience at the University of Edinburgh. We would like to thank all alumni, staff and other donors who support the Development Trust, including through its unrestricted Edinburgh Fund.

Find out more about the University of Edinburgh's Development Trust and the Edinburgh Fund.