mastodon 4.7.2This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot).
Posts by @simon_jf@mastodon.scot
A reminder that the University of Glasgow are are hosting the Scottish Programming Languages and Verification Summer School (SPLV'26) at the University of Glasgow, 3rd-7th August.
We have some exciting courses on topics spanning lambda calculus, category theory, model checking, dependent types, and compilers (to name a few!).
https://spli.scot/splv/2026-glasgow/
Early registration ends in just over a week. A few places in subsidised accommodation still available too!
We're happy to announce that we are accepting applications for studentships & subsidised accommodation for SPLV'26:
https://spli.scot/splv/2026-glasgow/
To apply, please fill in the following form by April 27th. We will get back to you shortly after this date.
https://tinyurl.com/splv-pre-registration-26
There should be plenty of accommodation. We will prioritise studentship applications from SPLI institutions but may be able to offer some more widely.
Early registration will open at the end of April. More details soon!
Registration is now open for this year's Scottish Programming Languages and Verification Summer School, held at the University of Glasgow! https://spli.scot/splv/2026-glasgow/
Get your tickets on Eventbrite: https://www.eventbrite.co.uk/e/splv-2026-summer-school-tickets-1989312724911
This year's Scottish Programming Languages and Verification Summer School, to be held at the University of Edinburgh in July, is now accepting registrations!
https://spli.scot/splv/2025-edinburgh/
Deadline: 30th April 2025
Today marks 20 years of the Scottish Programming Languages Seminar!
We’re delighted to have Phil Wadler give today’s keynote, on “Substitution without Copy and Paste”.
The University of Strathclyde hosted a successful SPLV this past July! Details here:
https://spli.scot/content/news/splv24-report.html
We're happy to announce that the *20th anniversary edition* of the Scottish Programming Languages Seminar (SPLS) will take place at the University of Glasgow on the 6th November 2024.
Details here: https://spli.scot/spls/meetings/2024/november/
We are happy to announce that Prof. Daniele Gorla of "Sapienza" University of Rome will be giving a 9-hour graduate-level lecture course on concurrent programming.
The course will take place on the 8th, 15th, and 22nd of August in the Informatics Forum at the University of Edinburgh.
You can find more details on the event page: https://spli.scot/content/events/spli/daniele-gorla-24.html
And the final talk of the day is by Wim Vanderbauwhede on compiling Fortran to a tiny stack based VM!
As part of the SPLI Distinguished Lecture Series, Satnam Singh, a Fellow at Groq, will give a talk entitled "Accelerating Large Language Models with Groq’s LPU Machine Learning Chips".
The talk will be held at 4PM on Thursday 26th September at the Informatics Forum, University of Edinburgh.
More details here: https://spli.scot/content/events/spli/satnam-singh-24.html
SPLI and the Low Carbon and Sustainable Computing group at Glasgow are organising LOCO 2024, the 1st International Workshop on Low Carbon Computing.
Deadline for submissions: 24th September 2024
Event date: 3rd December 2024
You can find out more on the LOCO web page: https://locos.codeberg.page/loco2024/
We're also happy to announce that the next Scottish Programming Languages Seminar (SPLS) will take place on the 5th March 2025 at the University of Stirling! Online participation will also be available.
Details here: https://spli.scot/spls/meetings/2025/march/
Registration is free, but please sign up by the 24th February if you intend to come in person.
We are happy to announce that the **Scottish Programming Languages and Verification Summer School (SPLV) 2025** will take place at the University of Edinburgh during July 21-25.
Thanks to generous sponsorship we are able to subsidise student participation. Registration and scholarship information will be available on our website soon.
Please save the date, forward this announcement to anyone interested, and check the website: https://spli.scot/splv/2025-edinburgh/ for updates.
And the final talk of this session is by Wen Kokke, entitled “Forwarders Should Be Lazy”
Just a reminder of @satnam6502@mastodon.social 's SPLI distinguished lecture tomorrow (Thursday 26th September) at the Informatics Forum, University of Edinburgh at 4PM:
Our next talk is by Jan van Brügge on Strong Rule Induction for Syntax with Binders.
Next up is Craig Ramsay, talking about functional hardware and the Heron architecture for lazy functional languages.
(Feat. The GHC-generated assembly code for x + y + z!)
Our next talk is by Greg Brown entitled “Freely Extending Interpreters”!
Next up: James Chapman is talking about how to apply continuous formal methods to the Cardano blockchain!