Workshop on Safe and Robust Machine Learning

Event Timing: 27 October, 2023
Event Address: Heriot-Watt University, Edinburgh, Scotland

The workshop will explore the state-of-the-art methods in ensuring safety and robustness of machine learning systems.

9.00 — 10.30 Session 1. Robustness from ML perspective
Jonathon Hare, Southampton University: Incorporating constraints in learning machines through model architecture
Daniel Kienitz, Heriot-Watt University: Neural network robustness from a geometric point of view
Antonia Marcu, Southampton University: On Pitfalls of Measuring Occlusion Robustness through Data Distortion
10.30 — 11.00 Coffee and Social interaction
11.00 — 12.00 Session 2. Robustness and Safety from Logical Perspective:
Vaishak Belle, Edinburgh University: A semantic objective function: unifying some types of loss functions
Natalia Slusarz, Heriot-Watt University: The Logic of Differentiable Logics: how to implement property-driven training.
Antonio Vergari, Edinburgh University: Semantic Probabilistic Layers for Neuro-Symbolic Learning
12.30 — 14.00 Lunch
14.00 — 15. 00 Session 3. Large Language Models and Verification Benchmarks
Edoardo Manino, Manchester University. Checking the checkers: neural network verification benchmarks with known ground truth
Marco Casadio and Tanvi Dinkar, Heriot-Watt University. Verification for NLP applications
15.00 — 15.30 Coffee and Social interaction
15.30 — 16.30 Session 4. Programming Language Support for Safe AI
Julien Girard-Satabin, CEA France. Multiple provers, multiple answers: formulating and solving verification problems for diverse artificial intelligence components using CAISAR
Ekaterina Komendantskaya, Heriot-Watt and Southampton Universities. Types for Verification of Systems with Machine Learning Components (Vehicle Language Design)
16.30 — 17.30 Session 5. Panel Discussion: Application areas for Neural Network Assurance.
18.30 — Drinks and dinner at Cafe Andaluz

If you wish to participate in this workshop, please pre-register using this link:

The registration closes at the end of day of Monday, 25 September.

If you wish to attend the workshop online, please use the last box in the registration form to declare this. Depending on the number of interested participants, we will take a decision on running a Zoom room during the workshop.

Travel advice: The workshop will be organised at Heriot-Watt campus. It is a 15 mins ride from Edinburgh Airport (Uber taxi price range £15-20), and approx. 40 -50 mins Bus drive from Edinburgh City Center. On campus, we recommend the hotel Mariott: