Accueil

Soirée du mardi 9/04 sur les méthodes formelles : point et applications pratiques.

L’Association Nationale des Directeurs des Systèmes d’Information consacrera sa conférence du 9 avril prochain aux méthodes formelles, avec (un peu) ses fondements mathématiques et (plutôt) des applications en sûreté, sécurité et cyber sécurité.
Nous bénéficierons des recherches d’Olivier Hermant, Ingénieur ENSTA, PhD. Université de Paris Cité, maintenant Professeur au Centre de Recherches en Informatiques de Mines Paris-PSL et chercheur associé INRIA.

Les horaires en sont :
• 19h-20h30 conférence/échanges ;
• 20h30-21h apéritif ;
• 21h-23h, diner.

Nous inviterons à cette occasion un nombre limité de DSI & de CDO. Pour demander une invitation, écrivez moi de votre mail professionnel à invitation@andsi.fr. Dans l’intervalle, je vous invite à découvrir nos activités sur notre blog www.andsi.fr.

Cordialement

Pierre DELORT,
Président

Nous ne sommes pas un club de DSI, nous n’admettons pas de Sponsor, nos sujets et nos animateurs sont choisis par nos membres, DSI ou ancien DSI et notre but est de progresser dans nos carrières grâce à l’expérience et au réseau de nos collègues.