Huge welcome to our new academic visitor, Dmitry Rozplokhas from the Programming Languages and Tools lab, JetBrains. Dmitry is an MSc student at the Higher School of Economics, St Petersburgh and already has a publication at PPDP’18! He will work with us until June 2019 on the topic of coinduction in relational programming. Welcome to LAIV members, Dmitry!
Next SPLS, 13 March
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