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) !!!
Many congratulations to Alasdair Hill, Katya Komendantskaya and Ron Petrick for having the paper Proof-Carrying Plan Logic: a Resource Logic for AI Planning accepted for publication and presentation at PPDP’20!
Kirsty’s upcoming IJCNN’20 talk is now on Youtube: https://www.youtube.com/watch?v=sr08XUU89fk&feature=youtu.be
Great job, Kirsty!
We are organising a workshop on Trends, Extensions, Applications and Semantics of Logic Programming and 28-29 May 2020. We invite participants to check out pre-recorded talks and join live discussions: https://www.coalg.org/tease-lp/.
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/
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.
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!
This week, on the 6th March, we are celebrating the 1st year anniversary of LAIV. 🙂
LAIV team won its second research grant: CONVENER: Continuous Verification of Neural Networks, funded by the UK Research Institute in Verified Trustworthy Software Systems (VETSS) , as part of “Digital Security Through Verification” call. Grant holders: E.Komendantskaya and D.Aspinall, named RAs: Wen Kokke and Daniel Kienitz.