TypeSig Talks: Program Synthesis by Semantics
ByTypeSig
Overview
The first TypeSig talk of the year! Come and listen to Zoey Shepherd (PhD student at UoE) talk about program synthesis. Free pizza included!
Good to know
Highlights
- 1 hour 30 minutes
- In person
Location
Appleton Tower, The University of Edinburgh
11 Crichton Street
Edinburgh EH8 9LE
How do you want to get there?
Organized by