The next Scottish Programming Language Seminar will be held at St Andrews University, on 13th March: https://eb.host.cs.st-andrews.ac.uk/SPLS-Feb19/
Launch of LAIV webpage
We are launching the webpage of the newly opened Lab for AI and Verification (LAIV): laiv.uk