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!
Scottish PL Institute
@spli@mastodon.scot
mastodon
4.5.8
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot).
Posts by @simon_jf
0
Followers
0
Following
Joined June 06, 2024
Posts
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Mar 30, 2026
5
0
14
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Mar 25, 2025
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
https://spli.scot/splv/2025-edinburgh/
Deadline: 30th April 2025
16
1
25
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Feb 11, 2025
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.
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.
1
0
5
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Feb 11, 2025
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.
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.
1
0
3
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Nov 06, 2024
And the final talk of the day is by Wim Vanderbauwhede on compiling Fortran to a tiny stack based VM!
2
0
0
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Nov 06, 2024
Our next talk is by Jan van Brügge on Strong Rule Induction for Syntax with Binders.
0
0
0
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Nov 06, 2024
And the final talk of this session is by Wen Kokke, entitled “Forwarders Should Be Lazy”
1
0
0
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Nov 06, 2024
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!)
(Feat. The GHC-generated assembly code for x + y + z!)
0
0
0
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Nov 06, 2024
Our next talk is by Greg Brown entitled “Freely Extending Interpreters”!
0
0
0
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Nov 06, 2024
Next up: James Chapman is talking about how to apply continuous formal methods to the Cardano blockchain!
0
0
0
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Nov 06, 2024
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”.
We’re delighted to have Phil Wadler give today’s keynote, on “Substitution without Copy and Paste”.
16
0
10
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Sep 25, 2024
Just a reminder of @satnam6502 's SPLI distinguished lecture tomorrow (Thursday 26th September) at the Informatics Forum, University of Edinburgh at 4PM:
https://spli.scot/content/events/spli/satnam-singh-24.html
https://spli.scot/content/events/spli/satnam-singh-24.html
1
0
1
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Sep 10, 2024
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
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
2
0
4
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Aug 29, 2024
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/
Details here: https://spli.scot/spls/meetings/2024/november/
3
0
2
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Aug 22, 2024
The University of Strathclyde hosted a successful SPLV this past July! Details here:
https://spli.scot/content/news/splv24-report.html
https://spli.scot/content/news/splv24-report.html
6
0
5
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Aug 13, 2024
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/
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/
2
0
3
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Jul 22, 2024
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
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
3
0
3