TRIPLE

Schedule

Sun Mar 29 2026 at 09:50 am to 05:00 pm

UTC+01:00

Location

The Nucleus Building, The University of Edinburgh | Edinburgh, SC

Advertisement
The largest student-led Computer Science Theory conference on this side of the Atlantic.
About this Event

TRIPLE - Theory, Related Interdisciplinary and Programming Languages at Edinburgh
Description

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!



Structure

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.



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



Details

Date: Sunday, 29th 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



Acknowledgement

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.



Advertisement

Where is it happening?

The Nucleus Building, The University of Edinburgh, Thomas Bayes Road, Edinburgh, United Kingdom

Event Location & Nearby Stays:

Tickets

GBP 5.00

Icon
Know what’s Happening Next — before everyone else does.
TypeSig

Host or Publisher TypeSig

Ask AI if this event suits you:

Discover More Events in Edinburgh

2026 Kilomathon 13.1K
Sun, 29 Mar at 08:30 am 2026 Kilomathon 13.1K

Ocean Terminal Shopping Centre

CONTESTS
2026 Mini Kilomathon
Sun, 29 Mar at 08:30 am 2026 Mini Kilomathon

Murrayfield Stadium

SPORTS KIDS
2026 Kilomathon 6.5K
Sun, 29 Mar at 09:00 am 2026 Kilomathon 6.5K

South Trinity Road, Edinburgh, EH5 3, United Kingdom

CONTESTS
Spottiswoode: Tree Planting
Sun, 29 Mar at 09:30 am Spottiswoode: Tree Planting

St Andrew Square, Edinburgh (North side)

VOLUNTEERING
Edinburgh Patrol
Sun, 29 Mar at 10:00 am Edinburgh Patrol

Waverly Train Station

MEETUPS
Ortho-k and Scleral Roadshow North-March 2026 (Edinburgh)
Sun, 29 Mar at 10:00 am Ortho-k and Scleral Roadshow North-March 2026 (Edinburgh)

Jack Brown Eyecare

Aerial Yoga Workshop: Flow & Deep Stretch, Edinburgh, 29th March 10-11.30am
Sun, 29 Mar at 10:00 am Aerial Yoga Workshop: Flow & Deep Stretch, Edinburgh, 29th March 10-11.30am

The Crags Centre

HEALTH-WELLNESS WORKSHOPS
Edinburgh Men's Walk
Sun, 29 Mar at 10:00 am Edinburgh Men's Walk

Holyrood Park

PRINCE2 Foundation & Practitioner Training in Edinburgh, SCT
Tue, 16 Sep at 09:00 am PRINCE2 Foundation & Practitioner Training in Edinburgh, SCT

Signature by Regus

WORKSHOPS NONPROFIT
The Mind, The Spirit and Life
Thu, 18 Dec at 12:00 pm The Mind, The Spirit and Life

HUBBARD ACADEMY OF PERSONAL INDEPENDENCE

HEALTH-WELLNESS
Master AI Entrepreneurship - From A to Z Masterclass
Sun, 25 Jan at 01:00 pm Master AI Entrepreneurship - From A to Z Masterclass

TBD

BUSINESS WORKSHOPS
THE EUROPEAN CHATBOT AND CONVERSATIONAL AI SUMMIT 2026
Tue, 17 Mar at 08:30 am THE EUROPEAN CHATBOT AND CONVERSATIONAL AI SUMMIT 2026

John McIntyre Conference Centre, The University of Edinburgh

ARTIFICIAL-INTELLIGENCE BUSINESS
Community Connections Edinburgh
Wed, 18 Mar at 11:00 am Community Connections Edinburgh

Norton Park Business and Conference Centre

NONPROFIT HEALTH-WELLNESS
Can surrogacy legislation deal with charges of exploitation?
Wed, 18 Mar at 12:30 pm Can surrogacy legislation deal with charges of exploitation?

Scottish Parliament Building

Researching Algorithmic Life \u2013 A Conversation on Method and Substance
Wed, 18 Mar at 02:00 pm Researching Algorithmic Life – A Conversation on Method and Substance

Edinburgh Law School

ART LITERARY-ART
The Thirteenth CERSE meeting
Wed, 18 Mar at 03:00 pm The Thirteenth CERSE meeting

The Bayes Centre, The University of Edinburgh

MEETUPS
SCGA State of the World: Climate Change & Biodiversity Loss
Wed, 18 Mar at 05:00 pm SCGA State of the World: Climate Change & Biodiversity Loss

Edinburgh Climate Change Institute

HEALTH-WELLNESS ART
Tessa Rose Jackson
Wed, 18 Mar at 07:00 pm Tessa Rose Jackson

Leith Depot

Chai & Hustings 26: Edinburgh West
Wed, 18 Mar at 07:30 pm Chai & Hustings 26: Edinburgh West

The Scouts Hall

Making Food Work for All
Thu, 19 Mar at 09:45 am Making Food Work for All

Tollcross Central Hall

ART THEATRE

What's Happening Next in Edinburgh?

Discover Edinburgh Events