In collaboration with IMANDRA (www.imandra.ai), we are developing a neural network verification library in the language Imandra. This week, this work was accepted for publication: R. Desmartin, G. Passmore E. Komendantskaya and M. Daggitt: CheckINN: Wide Range Neural Network Verification in Imandra. 24th International Symposium on Principles and Practice of Declarative Programming PPDP’22.
SPLV’22 this week
LAIV team (Katya, Kathrin, Filip, Marco, Natalia, Akilan) are running SPLV’22 this week. For web streaming and recordings visit SPLV main page: https://www.macs.hw.ac.uk/splv/splv-2022/
LAIV PhD students at FOMLAS’22 and FLOC’22
Many congratulations to LAIV PhD students and researchers, who will present their work at FOMLAS’22, as part of the FLOC’22 conference:
Matthew Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi and Ekaterina Komendantskaya: Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks
Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt and Robert Stewart: Differentiable Logics for Neural Network Verification
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew Daggitt, Daniel Kienitz, Luca Arnaboldi and Wen Kokke: Why Robust Natural Language Understanding is a Challenge
Remi Desmartin, Grant Passmore and Ekaterina Komendantskaya: Neural Networks in Imandra: Matrix Representation as a Verification Choice
Scottish Summer School on Programming Languages and Verification, 11-15 July 2022
The School registration is now open, please attend and register at https://www.macs.hw.ac.uk/splv/splv22/
CAV’22 contribution
Many congratulations to Marco Casadio et al for having a paper accepted at the international conference on Computer-Aided Verification CAV’22 (Part of FLOC’22). Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir and Idan Refaeli: “Neural Network Robustness as a Verification Property: A Principled Case Study”
Conference Mathematics of Program Construction, MPC22
We are organising a conference Conference Mathematics of Program Construction, MPC22. Please consider contributing a paper there! The deadline is the 17th April 2022. More information is available on the conference website.
Open PhD post at LAIV and Heriot-Watt
We are looking to hire a new PhD student (fees and stipend covered), to work on verification or semantics of intelligent systems. Please contact ek19@hw.ac.uk if you are interested.
LAIV at POPL’22
Matthew Daggitt is giving an invited talk at WITS 2022, the first Workshop on the Implementation of Type Systems.
AAAI’22 Success
HAPPY news, the paper by LAIV PhD student Daniel Kienitz et co The Effect of Manifold Entanglement and Intrinsic Dimensionality on Learning has been accepted to the AAAI’22. It is a great success, and totally deserved! Many congratulations, Daniel!
MSc student success
LAIV MSc students Michael, Remi and Dan all got high As for their dissertations. Remi in addition received the best MSc dissertation award -2021! Many congratulations to all!