Skip to content
[S]afe [AI] through [F]ormal Methods
Research Project in the PEPR Artificial Intelligence (AI)
Skip to content
  • Home
  • Project Members
  • News
  • Publications
  • English
    • English English
    • Français Français
Home Archive by category "Meetings"

Category: Meetings

Scientific meeting 2025

girard 2025/03/12 2025/03/12Meetings Meetings

On the 21th of January 2025, SAIF organized a scientific day. Each project member had the opportunity to present their work, have productive discussions on joint collaborations (and share a good meal!).

Continue reading

Kick-off Meeting

Caterina URBAN 2023/11/23 2023/11/23Meetings

A (first) kick-off meeting for the project took place on Thursday, November 23rd, 2023. 

Continue reading

  • News

    • Scientific meeting 2025
    • Best Paper Award at AAAI 2025
    • Kick-off Meeting
  • Recent Publications
    • A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks
    • Abstract Lipschitz Continuity
    • A Framework for Streaming Event-Log Prediction in Business Processes
    • On Using Certified Training towards Empirical Robustness
Logo PEPR IA

PEPR IA - SAIF

Caterina Urban <caterina.urban@inria.fr>

Powered by Nirvana & WordPress. Mentions légales & CGU & Politique de confidentialité & Cookies

Nous utilisons des cookies pour vous offrir la meilleure expérience sur notre site.

You can find out more about which cookies we are using or switch them off in .

[S]afe [AI] through [F]ormal Methods
Powered by  GDPR Cookie Compliance
Privacy Overview

This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.

Strictly Necessary Cookies

Strictly Necessary Cookie should be enabled at all times so that we can save your preferences for cookie settings.

If you disable this cookie, we will not be able to save your preferences. This means that every time you visit this website you will need to enable or disable cookies again.