TUPLES 2025

TUPLES (Theory Union Programming Languages at Edinburgh Successor) is the largest annual student-led conference organised by TypeSIG - one day full of research talks catered to students! The talks will be organised in two parallel tracks, you can choose to attend talks from both:

Track A: algorithms and data structures, complexity theory, quantum computing, game theory, and more.

Track B: principles of programming languages, type theory, formal verification, compilers, and more.

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. And the best part? You’ll get to chat with academics after their talks and connect with fellow theory enthusiasts who are just as eager to dive deep into the world of CS as you are!

Details:

Date: Sunday, 23rd of February 2025

Location: Nucleus Building, University of Edinburgh (may be updated)

Time: 10:00 AM - 6:00 PM

Registration

The ticket gives you:

• Full catering, with lunch, coffee break, and snacks
• Access to all talks, though talks from different tracks might run in parallel
• Free exclusive TypeSig-branded items (stickers and more!)

Host or Publisher TypeSig