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) !!!

New Project and Vacancies

We are starting a big, multi-site and multi-million project on AI verification in September 2020! The project AISEC: AI Secure and Explainable by Construction is funded by EPSRC, and will investigate novel methods of AI verification in Autonomous vehicles and conversational agents. We are looking for Research assistants and PhD students: see http://laiv.uk/index.php/vacancies/

LAIV paper at IJCNN’20

Many congratulations to all for having the following paper accepted:

Kirsty Duncan, Ekaterina Komendantskaya, Robert Sewart, Michael Lones: 

Relative Robustness of Quantized Neural Networks Against Adversarial Attacks

accepted to be published and presented at the International Joint Conference on Neural Networks, IJCNN’20, part of the World Congress on Computational Intelligence: https://wcci2020.org/ 19-24 July 2020, Glasgow, Scotland.

LAIV during COVID-19 outbreak

Dear fellow researchers and friends, it is good to remember that LAIV continues, and in particular LAIV seminars continue, albeit on-line. This Wednesday we will be testing Zoom meetings, with the view to have our first proper seminar next Wednesday. Information how to join LAIV seminars on-line will be updated on LAIV Seminars page. In the meantime, keep safe and keep busy!