Archive des évènements
SPI
- Appel à communications pour la Revue d’Intelligence Artificielle : Numéro Spécial Logique et Sécurité
- Journée Sécurité et Méthodes Formelles
- Journée SSURF
- Journée Présentation et Formation - FOCAL
- Journée Sécurité - (SSURF + PPF Logiciels Sûrs)
- Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
- Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF