Les vidéos de la conférence J.R. Abrial, un pionnier du développement scientifique des langages informatiques et des méthodes formelles et de leur application à grande échelle dans l’industrie

 https://velo.wiki.ls2n.fr/doku.php?id=velo:js2025

 

• replay visio zoom partie 1
• replay visio partie 2 A
• replay visio partie 2 B
• replay visio zoom partie 3
• replay visio zoom partie 4