Event Timing: 27 October, 2023
Event Address: Heriot-Watt University, Edinburgh, Scotland
Contact: ek19@hwu.ac.uk
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: https://forms.gle/SQUoM66BPA9if4NQ7
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: https://www.marriott.com/hotels/travel/edihw-courtyard-edinburgh-west/