Passer vers le contenu
[S]afe [AI] through [F]ormal Methods
Projet ciblé du PEPR Intelligence Artificielle (IA)
Passer vers le contenu
  • Accueil
  • Membres du projet
  • Actualités
  • Publications
  • Français
    • English English
    • Français Français
Home Archive par catégorie "Uncategorized"

Catégorie : Uncategorized

(English) SAIF Days 2026

Caterina URBAN Tue 21 April 2026 Tue 21 April 2026Uncategorized

Désolé, cet article est seulement disponible en English.

Continue reading

  • News

    • (English) SAIF Days 2026
    • (English) Scientific meeting 2025
    • Prix du meilleur article à AAAI 2025
    • (English) Kick-off Meeting
  • Recent Publications
    • Abstract Lipschitz Continuity: Combining Semantic and Quantitative Approximations
    • Provable Coordination for LLM Agents via Message Sequence Charts
    • The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
    • Automating Linguistic Frameworks with LLMs: An Approach to Analyze Personal Narratives
Logo PEPR IA

PEPR IA - SAIF

Caterina Urban <caterina.urban@inria.fr>

Fonctionne avec 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
Résumé de la politique de confidentialité

Ce site utilise des cookies afin que nous puissions vous fournir la meilleure expérience utilisateur possible. Les informations sur les cookies sont stockées dans votre navigateur et remplissent des fonctions telles que vous reconnaître lorsque vous revenez sur notre site Web et aider notre équipe à comprendre les sections du site que vous trouvez les plus intéressantes et utiles.

Cookies strictement nécessaires

Cette option doit être activée à tout moment afin que nous puissions enregistrer vos préférences pour les réglages de cookie.