Ce séminaire, intitulé « Logiciel prouvé avec B pour des automatismes sécuritaires à bas coût et à haut niveau d’intégrité », est axé sur les dernières innovations concernant le développement d’applications critiques avec la méthode formelle B:
« L’Atelier B a été utilisé de manière intensive pour le développement d’applications critiques, principalement dans le domaine ferroviaire