Peggy Gregory Peggy Gregory and I are looking for PhD applications for a 4 year funded project on #sustainable #SoftwareEngineering UofG Computing Science Contact Peggy Gregory or me if you are interested in human and technical aspects of #sustainable #softwaredevelopment 👇

Thanks DisCoTec Conference, it’s been fun!

GPCE submission deadline is approaching! Register your abstract by July 3 and submit your paper by July 7. 2023.splashcon.org/home/gpce-2023

Hi Amsterdam Airport Schiphol, very rude member of staff on the ePassport gates exiting Schengen area terminal D. No need for it either, very small queue

Curious about PL and verification research? Interested in upgrading your skills or learn about advanced topics? Registration is now open to the SPLV Summer School @ St Andrews. Mon 24 to Fri 28 July. free for PhD students in Scotland, 100GBP otherwise. splv23.github.io

To address extreme levels of functional programming, we've applied the following temporary limits to GHC: - functions may only produce 6000 thunks/day - datatypes are limited to 3 constructors/type - you can no longer use polymorphism, only fully instantiated types are allowed

I'll be doing four session on graded types, linearity, and Granule!

EXCITING 😬!!!!

Making a rare temporary return to “X” to say: We at UofG Computing Science are looking for a research associate to work on the design and implementation of programming languages in association with the STARDUST project (epsrc-stardust.github.io).

Call For Sponsorship: #SPLV 2024 We are organising the 2024 Scottish #ProgrammingLanguages and #Verification Summer School! Industry support is welcomed. Please see below for how your company can help us. scottish-pl-institute.github.io/splv/2024-stra… General registration will be opening soon!

Hello again, world! This is the official X account for the Scottish Programming Languages Institute (SPLI), which exists to co-ordinate events that enhance programming languages research in Scotland.

The Scottish Programming Languages and Verification Summer School (SPLV) is a great opportunity for researchers to learn about programming languages research from leading researchers! This year, SPLV will be hosted by MSP Group (now at mastodon.acm.org/@mspstrath), Jul 29th - Aug 2nd. More: spli.scot/splv/2024-stra…

The next Scottish Programming Languages Seminar will be held on the 1st July 2024, organised by the University of Edinburgh! We're delighted to have a keynote by José Pedro Magalhães from Standard Chartered. Further details here: spli.scot/spls/meetings/…

The programme for the next SPLS, hosted by the University of Edinburgh, is up on the website! spli.scot/spls/meetings/… Lots of exciting talks, on everything from substructural typing to teaching Haskell in high schools. Hope to see you there, in person or online!

We are happy to announce that Prof. Daniele Gorla will be giving a 9-hour graduate-level course on concurrent programming. The course will take place on the 8th, 15th, and 22nd of August in the Informatics Forum, University of Edinburgh. Find out more: spli.scot/content/events…

SPLI and the Low Carbon and Sustainable Computing group at Glasgow are organising LOCO 2024, the 1st International Workshop on Low Carbon Computing on the 3rd December 2024. You can find out more on the LOCO web page: locos.codeberg.page/loco2024/

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: spli.scot/spls/meetings/…

As part of the SPLI Distinguished Lecture Series, Satnam Singh will give a talk entitled "Accelerating Large Language Models with Groq’s LPU Machine Learning Chips", to be held at 4PM on 26th September at the Informatics Forum, University of Edinburgh. spli.scot/content/events…