Hello, world! This is the new Twitter page for the Programming Languages Theme at UofG Computing Science. We will post updates with new papers, seminars, and general news.

Simon (Simon Fowler) and Jeremy (Jeremy Singer) are off to SPLASH Conference in New Zealand this week! Simon will present “Language-Integrated Query for Temporal Data” at GPCE, and Jeremy is chairing the Onward! essay track.

.Jeremy Singer talking about Analogies for Capabilities at #CEP23 at Durham University UK ACM SIGCSE

Today at PLUG, ⁦@MichelSteuwer⁩ and Martin Lücke are telling us about Elevate and MLIR!

I'm co-chairing the ICE workshop this year (discotec.org/2023/ice)! ICE is a workshop on interaction and concurrency, broadly construed, and has an interactive reviewing process. If this sounds interesting, consider submitting! Abstracts: 27th Mar, full submissions: 3rd Apr.

Really looking forward to giving a seminar today, to the Formal Methods, Theory and Algorithms group at UofG Computing Science - lovely to be in this wonderful city again. Gonna talk about this POPL '23 work: dl.acm.org/doi/abs/10.114…

Really happy and honoured to have received the Science, She Says! award for Europe given by the Farnesina 🇮🇹. Thank you! 😊

We at UofG Computing Science have some PhD studentships! PL-related studentships are available with either Blair Archibald or Simon Fowler. Please get in touch to chat if you're interested! Deadline: 31st July Blair's website: blairarchibald.co.uk Simon's website: simonjf.com

Want to join the PL Theme at Glasgow? Ornela Dardha is hiring for an exciting new project!

Making a rare temporary return to Twitter 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). jobs.ac.uk/job/DFG143/res…