Date/Time
Date(s) - 09/11/2016
12:00 pm - 5:45 pm
Location
University of Strathclyde
Scottish Programming Languages Seminar (SPLS)
The Scottish Programming Languages Seminar is an informal meeting for the discussion of any aspect of programming languages. The next SPLS will take place on Wednesday 9 November at the University of Strathclyde.
Information and updates about the November edition of SPLS will be sent via the SPLS Mailing List.
Registration
Please register using this form.
Time and place
12:00–17:45, 9 November, McCance Building, (Room 301) University of Strathclyde.
Programme
| 12.00 | Lunch (provided) |
| 13.00 | Consistency of Quine’s NF using nominal techniques – Jamie Gabbay |
| 14.00 | Coffee |
| 14.30 | Relating Channels and Actor-based Languages in Concurrent Lambda-Calculi – Simon Fowler |
| 15.00 | Provably Correct Transformation of Specifications into Programs – Martin Ward |
| 15.30 | Update on new SICSA Research Themes and funding – Katya Komendantskaya |
| 15.45 | Coffee |
| 16.15 | Type-Driven Design of Communicating Systems using Idris – Jan de Muijnck-Hughes |
| 16.45 | The essence of Frank programming – Craig McLaughlin |
| 17.15 | Irrelevant classical logic in Agda – Stephen Dolan |
| 17.45 | Pub |
For more information please see https://msp-strath.github.io/spls-16/
