TypeSig Talks: Program Synthesis by Semantics

Schedule

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

UTC+00:00
Location

Appleton Tower, The University of Edinburgh | Edinburgh, SC

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

Where is it happening?

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

Event Location & Nearby Stays:

Tickets

GBP 0.00

Know what’s Happening Next — before everyone else does.
TypeSig
Host or PublisherTypeSig

Ask AI if this event suits you

Keep exploring

Discover more events in Edinburgh

More concerts, festivals, nightlife and things to do happening near you.

Mon, 09 Nov at 11:00 am Edinburgh Cafe - Fresh Start

Fresh Start

Mon, 09 Nov at 01:30 pm ART DECO EDINBURGH - Afternoon Minicoach Cruise!

Melville Monument

FITNESS ART
Mon, 09 Nov at 02:00 pm Monthly Monday service at Meadowbank and Willowbrae (November)

Meadowbank and Willowbrae Church

FITNESS
Mon, 09 Nov at 02:30 pm Centuries of Grieving: Supporting Bereavement Through Heritage

Main Library

FITNESS
Mon, 09 Nov at 06:00 pm Mark Baillie: Salvage – A mystery exploring the tragic history of Scotland’s Gypsy-Travellers

Colinton Library

ART LITERARY-ART
Mon, 09 Nov at 06:00 pm Mark Baillie: Salvage –exploring the history of Scotland’s Gypsy-Travellers

Colinton Library

FITNESS ART
Mon, 09 Nov at 06:00 pm The Angus Millar Lecture 2026: What is Education Really For?

Royal College of Physicians of Edinburgh

FITNESS FESTIVALS
Mon, 09 Nov at 06:30 pm Loud Poets Open Mic

Scottish Storytelling Centre

OPEN-MIC ART
Tue, 13 Feb at 06:30 pm Wake Up Edinburgh

The Salisbury Centre

HEALTH-WELLNESS MEDITATION
Sun, 10 Nov at 02:00 pm SWAN Places - Edinburgh Meet-Up

The Melting Pot

WORKSHOPS MEETUPS
Sun, 19 Jan at 02:15 pm Queer Joy book club

Lavender Menace Queer Books Archive at the Edinburgh Palette

FITNESS
Wed, 05 Feb at 08:30 am Unfiltered Edinburgh

CodeBase Edinburgh

FITNESS MEETUPS
Sat, 29 Mar at 08:00 pm Foodies + New Friends: Edinburgh

Restaurant of the Week

FITNESS NONPROFIT
Thu, 15 Jan at 06:00 pm The voice within workshops for women: somatic expression

The Salisbury Centre

FITNESS WORKSHOPS
Mon, 23 Mar at 06:30 pm Breaking Well - exploring how to live in a time of collapse

The Salisbury Centre

FITNESS NONPROFIT
Fri, 27 Mar Unified Dating - Meet Singles in Edinburgh

Edinburgh Secret Venue

Thu, 09 Apr TBC Improv UK's Monthly Open Improv Jam

Summerhall

WORKSHOPS OPEN-MIC
Sat, 25 Apr at 10:00 am Salisbury Centre Connections

The Salisbury Centre

FITNESS NONPROFIT
Tue, 05 May at 07:00 pm Game Lab

CC Blooms

FITNESS
Wed, 06 May at 02:00 pm Queer Connections

National Galleries of Scotland: National

HEALTH-WELLNESS LGBT-PRIDE

What's Happening Next in Edinburgh?

Discover Edinburgh Events