Date/Time
Date(s) - 18/03/2020
12:00 pm - 5:30 pm
Location
University of Stirling
The event has been postponed. Information about new dates will be posted as soon as it becomes available.
The Scottish Programming Languages Seminar is a forum for discussion of all aspects of programming languages. The next session is scheduled on the 18th March 2020 and is taking place at the University of Stirling, Room 2B84, Cottrell Building
University of Stirling, Stirling FK9 4LA.
Registration
To register, please fill in the doodle poll. For any special requirements (dietary or otherwise) please contact the organiser (details below).
Programme
12:00 — 12:50 LUNCH
12:50 — 13:55 SESSION 1: Types and Semantics
| Jesse Sigal (Edinburgh) | Automatic Differentiation via Effects and Handlers |
| Wen Kokke (Edinburgh) | Robustness as a Refinement Type |
| Katya Komendantskaya (Heriot-Watt) | AI secure and explainable by construction (announcement) |
13:55 — 14:20 COFFEE
14:20 — 15:50 SESSION 2: Compilers and Runtime Systems
| John Thomson (St Andrews) | COLAB: A Collaborative Multi-factor Scheduler for Asymmetric Multicore Processor |
| Saemi Haraldsson (Stirling) | Genetic Software Improvement (tentative title) |
| Sam Lindley (Edinburgh) | FreezeML: Complete and easy type inference for first-class polymorphism |
15:50 — 16:10 COFFEE
16:10 — 17:25 SESSION 3: Dependent Types
| Xueying Qin (Glasgow) | Proving the correctness of rewrite rules with Agda |
| Bob Atkey (Strathclyde) | Resource Constrained Programming with Full Dependent Types |
17:30 — 00:00 PUB and DINNER
Organisers
General information about SPLS is available from the SPLS page.
For information about this event, please contact Patrick Maier (email: firstname.lastname@stir.ac.uk).
