Talk
TypeSig Talks: Program Synthesis by Semantics
Monday 9 November 2026, 17:00Venue time (London)
Monday 9 November 202617:00 · Venue time (London)
Appleton Tower, The University of EdinburghDirections
Price on the ticket pageTickets sold by eventbrite.co.uk
Bookvia eventbrite.co.uk
Add to calendar
Downloads an .ics file · Times are in Europe/London · Google Calendar
The first TypeSig talk of the year! Come and listen to Zoey Shepherd (PhD student at UoE) talk about program synthesis. Free pizza included!
More like this near Edinburgh
University of Edinburgh Student Festivals HackathonFri 30 Oct · 9am · Edinburgh Futures Institute, The University of Edinburgh
Kin Halloween CuppaFri 30 Oct · 9:30am · Kin Collective
Stay & PlayFri 30 Oct · 9:30am · Gilmerton Community Centre
Edinburgh Fun Puzzle Treasure Hunt! Singe route or double for racing!Fri 30 Oct · 10am · Omni Centre
Dr Bell's Family Centre: Wendy's Songs & Stories - October to December 2026Fri 30 Oct · 10:15am · Dr Bells Family Centre
Ask Palaner
Going to TypeSig Talks? Ask me anything about it.
I read the organiser's pages and answer in a few seconds.
Answers are AI-generated · Privacy