Map Unavailable
Date/Time
Date(s) - 08/03/2023
12:00 pm - 5:00 pm
Location
Postgraduate Centre, Heriot-Watt University
The Scottish Programming Languages Seminar (SPLS) is an informal meeting for discussing anything related to programming languages.
This edition of SPLS will be held both in-person and online. The in-person meeting will take place in the Cairn Auditorium, Postgraduate Centre at the Heriot-Watt University.
Programme
Details TBD
12:00 — 13:00 LUNCH
13:00 — 14:00 SESSION 1: Invited Talk
| Andreas Abel (Chalmers) | Type-preserving compilation via dependently typed syntax |
14:00 — 14:30 COFFEE
14:30 — 15:30 SESSION 2: Effects and Communication
| Wenhao Tang (Edinburgh) | Tracking Linear Continuations for Effect Handlers |
| Matthew Alan Le Brun (Glasgow) | MAGπ: Types for Failure-Prone Communication |
15:30 — 16:00 COFFEE
16:00 — 17:00 SESSION 3: Verification and Representation
| Omri Isac (HU Jerusalem) | Neural Network Verification with Proof Production |
| Guillaume Allais (St Andrews) | A Universe for Serialised Data |
17:00 — late PUB
Attending
Registration
- Please register by 1st March on the SPLS Doodle poll if you plan to attend SPLS in person.
- Registration is required for catering. There are no COVID restrictions on attendance. Mask wearing in packed indoor areas is encouraged, as is testing before attending.
Travel
- By bus from Edinburgh: lines 25, 34, 35 and 45 to Heriot-Watt University (34 and 35 stop right outside the PG Centre, 25 and 45 at the main entrance to campus); lines X27 and X28 stop a short walk north from campus (Hermiston Walk).
- By train: Curriehill Station on the southern Edinburgh–Glasgow line is located within walking distance (ca. 2km) from the venue; Edinburgh Park Station on the northern Edinburgh–Glasgow line is some 3km from the venue: you can catch a bus from the Calder View stop or walk via the Union Canal footpath to avoid A71.
- Parking on Campus
- The Postgraduate Centre on the map (larger version)
More information is available on the event website: SPLS, 22 February 2023, Heriot-Watt (spls-series.github.io)
If you have any queries, please feel free to contact the event organisers Filip Sieczkowski, James McKinna and Kathrin Stark.
