Mid-term news

We are now in the middle of the 2nd term. Several MSc students joined LAIV in January, and already started to present their projects at LAIV Seminars. The seminars run weekly, and feature invited talks, as well as student talks. Past LAIV talks are available on our YouTube page. We always welcome external visitors and collaborators, the seminar page explains how to join the seminar series.

Youtube Channel for LAIV/AISEC

As part of the AISEC grant activities, we have launched a Youtube channel (https://www.youtube.com/channel/UCuYLyAKf2mEq4ZSvMfwbfIg/featured) featuring speakers from LAIV Seminars. Subscribe to the Youtube channel or drop in to LAIV seminars: http://laiv.uk/laiv-seminars/

APLAS’20 publication by the LAIV team

Many congratulations to Wen, Katya, Daniel, David and Bob for having their paper Neural Networks, Secure by Construction: An Exploration of   Refinement Types accepted for publication and presentation at APLAS’20 (the 18th Asian Symposium on Programming Languages and Systems) !!!