Delighted to announce that I've been appointed as the co-director of the UK Research Institute on Verified Trustworthy Software Systems (VeTSS)(vetss.org.uk). It has been hard sitting on this news since November! ncsc.gov.uk/news/ncsc-anno…

Xueying's work has been published in <Programming>! We hope to see many of you at the conference. A preprint of the paper is here: arxiv.org/abs/2205.09655

Good job Elsevier...

Humbled & excited to announce that from Sept. '23, I will be joining University of Strathclyde Cyber Security Group (Strathclyde Computer and Information Sciences) as a Lecturer in Cybersecurity where I will be working on Trustworthy TyDe Systems, & the bridge with MSP Group (now at mastodon.acm.org/@mspstrath). Thanks UofG Computing Science & Programming Languages @ UofG but come Autumn a new journey starts!

It was great to have Andrés Goens and Vijay Nagarajan visit from The University of Edinburgh on Friday, to tell us about their fascinating #PLDI2023 work to build memory models for heterogenous systems out of the memory models of their component processors.

Just want to announce that I've been building a god-machine for profit by way of using your data without acknowledgement or pay. This is a good thing, because I am a Messiah chosen for the holy task of doing this responsibly

After years of preferring constructive proofs, my intuitions are still challenged. Most often it's when some apparent property of negation is properly understood as a property of implication. This one got me yesterday: (A ⇒ (A ⇒ B)) ∧ ((A ⇒ B) ⇒ A) ⇒ B

We're delighted to announce a JFP Special Issue on Program Calculation. Submission deadline 1st December 2023. Please share, and submit your best papers! tinyurl.com/prog-calc

US NSF reviewers: this Fri AM I have a call with a division director at CCF about pain points with the review process. What points would you like to bring up? I'm happy to collate, summarize, and pass on community feedback. Reply by Thu evening please. #AcademicChatter

Hello all! It's time for another Idris Developer Meeting! 🎉 🗓️28th Aug - 01 Sep 2023 And we're trying something new: there will be 2 physical locations: St Andrews 🏴󠁧󠁢󠁳󠁣󠁴󠁿, and Zürich 🇨🇭on the continent. Full details here (and on the Discord): github.com/idris-lang/Idr…

Derek Dreyer Edward Kmett Jules Jacobs Ilya Sergey Hila Peleg is not here 🦋 @AlexP_DownUnder I must be a mathematician. Nothing happens in a year.

I'm excited to announce a new "prefaculty" position working with the type systems team at Jane Street on the OCaml compiler! Please retweet! janestreet.com/join-jane-stre…

So... this is a thing that happened

I'm excited to be organizing a workshop on incorrectness reasoning with Azalea Raad at POPL this year. If you work on incorrectness, consider submitting a talk! popl24.sigplan.org/home/incorrect…

Congratulations to Ohad Krammer, Sam Lindley and Nicolas Oury for their Most Influential Paper of ICFP2013 award presented at #ICFP2023 for their Handlers in Action paper which inspired and kicked off a lot of work on effects by many people. Sam made a heartfelt speech about

Happy to officially announce our OOPSLA 2023 paper "Gradual Typing for Effect Handlers" (2023.splashcon.org/details/splash…) Extended version with the technical details is available on my website: maxsnew.com/docs/greff-ext…

So now I have two friends who suspect one of their EMNLP reviews was written by chatgpt

We’re excited to announce the first set of R&D Creators for our Safeguarded AI programme, working on TA1.1. This group comprises 22 teams, spanning universities, startups and research organisations across the UK and abroad. But what exactly will they be working on? ↓ (1/4)

Please register here if you would like to attend S-REPLS at Imperial College London on 1st April forms.office.com/e/sWvG4Z1JSR

We’re excited to introduce our new CEO: Kathleen Fisher. ARIA is at an inflection point. We’re moving from launching ambitious research to driving it forward. Kathleen is the ideal leader to scale our work. She led DARPA’s HACMS programme – successfully defending a helicopter