(Postponed) Scottish Programming Languages Seminar

Date(s) - 18/03/2020
12:00 pm - 5:30 pm

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.


To register, please fill in the doodle poll. For any special requirements (dietary or otherwise) please contact the organiser (details below).


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


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).


This entry was posted in .