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!
Project “Verification of Neural Networks: in search of the missing spec”
… joint with Guy Katz, from HUJI, is running this Summer. We are meeting with various colleagues from the National Robotarium to discuss what kind of properties of complex AI systems Robotics engineers and AI researchers want to verify. Guy’s lectures at SPLV are a part of the project: http://www.macs.hw.ac.uk/splv/splv-2021/
The Conversation article about LAIV’s work
LAIV Reading Group
LAIV is starting a reading group, devoted to discussion of relevant papers in AI and Verification. The reading group has its own page. Join us!
Computer Science department is hiring!
We are inviting applications to several academic positions at the CS department, at all levels of academic career: Assistant/Associate/Full Professor, and even the Head of Department. See the summary here.
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.