Due to the accelerating course of the current COVID-19 pandemic, the SPLS meeting on 18 March had to be postponed.
The provisional new date is 10 June 2020. A decision whether the meeting can actually go ahead on that date will be taken on 20 May. Either way, there will be further announcements on this page and on the SPLS mailing list.
Wednesday, 18 March 2020 10 June 2020, 12:00 - 17:30
Room 2B84, Cottrell Building
University of Stirling
Stirling FK9 4LA
|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)|
|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|
|Xueying Qin (Glasgow)||Proving the correctness of rewrite rules with Agda|
|Bob Atkey (Strathclyde)||Resource Constrained Programming with Full Dependent Types|
Getting to Stirling University Campus
This event has received financial support from SICSA, the Scottish Informatics and Computer Science Alliance and the Division of Computing Science and Mathematics at the University of Stirling.
General information about SPLS is available from the SPLS page.
For information about this event, please contact Patrick Maier (email: firstname.lastname@example.org).