SICSA sponsored Research Theme Event: Scottish Programming Languages Seminar (SPLS)

Date(s) - 09/11/2016
12:00 pm - 5:45 pm

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.


Please register using this form.

Time and place

12:00–17:45, 9 November, McCance Building, (Room 301) University of Strathclyde.


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 

This entry was posted in .