Mon Nov 09 2026 at 05:00 pm to 06:30 pm UTC+00:00

TypeSig Talks: Program Synthesis by Semantics

Name: TypeSig Talks: Program Synthesis by Semantics
Start: 2026-11-09T17:00:00+00:00
End: 2026-11-09T18:30:00+00:00
Location: Appleton Tower, The University of Edinburgh

Appleton Tower, The University of Edinburgh · Edinburgh
From GBP 0.00

Publisher / Host TypeSig

TypeSig Talks: Program Synthesis by Semantics

The first TypeSig talk of the year! Come and listen to Zoey Shepherd (PhD student at UoE) talk about program synthesis. Free pizza included!

Event venue & nearby stays

Appleton Tower, The University of Edinburgh, 11 Crichton Street, Edinburgh, United Kingdom

Tickets GBP 0.00

Concerts, fests, parties, meetups — all the happenings, one place.

Discover more events by tag

Ask AI if this event suits you

Keep the plans coming

Edinburgh is happening.

See everything else that’s on — concerts, markets, comedy and more.

Explore Edinburgh →

TypeSig Talks: Program Synthesis by Semantics

Event venue & nearby stays

Discover more events by tag

Ask AI if this event suits you

More events in Edinburgh

Sia Door Supervisor Course

Local Networking - Edinburgh

Edinburgh Cafe - Fresh Start

ART DECO EDINBURGH - Afternoon Minicoach Cruise!

Monthly Monday service at Meadowbank and Willowbrae (November)

Centuries of Grieving: Supporting Bereavement Through Heritage

Mark Baillie: Salvage –exploring the history of Scotland’s Gypsy-Travellers

The Angus Millar Lecture 2026: What is Education Really For?

Loud Poets Open Mic

Charity Whisky Tasting with Aberfeldy

SALSA BEGINNER COURSE - MONDAYS

Quiet Light

Edinburgh is happening.