The B method : from Research to Teaching, 计算机科学名人堂：Jean-Raymond Abrial Panthéon de l'informatique : Jean-Raymond Abrial

https://teachingbconference.blogspot.com/ 

 

La première conférence sur la méthode B eut lieu dans l'amphithéâtre du musée Dobrée à Nantes en 1995 !

  https://teachingbconference.blogspot.com/2016/03/z-twenty-years-on-what-is-its-future.html 

A Nantes, le 27 mai 2025 cette conférence va revivre à la Cité des Congrès avec le sujet suivant :  

 

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 

 

Vingt ans plus tard !

 

The following conferences have explicitly included the B-Method and/or Event-B: 

 

 Z2B Conference, Nantes, France, 10–12 October 1995 First B Conference, Nantes, France, 25–27 November 1996 

 

 Second B Conference, Montpellier, France, 22–24 April 1998 

ZB 2000, York, United Kingdom, 28 August – 2 September 2000

 ZB 2002, Grenoble, France, 23–25 January 2002 

ZB 2003, Turku, Finland, 4–6 June 2003 

ZB 2005, Guildford, United Kingdom, 2005 

B 2007, Besançon, France, 2007 

 B, from research to teaching, Nantes, France, 16 June 2008 

B, from research to teaching, Nantes, France, 8 June 2009 

B, from research to teaching, Nantes, France, 7 June 2010 

 ABZ 2008, British Computer Society, London, United Kingdom, 16–18 September 2008 

ABZ 2010, Orford, Québec, Canada, 23–25 February 2010 

 ABZ 2012, Pisa, Italy, 18–22 June 2012

 ABZ 2014, Toulouse, France, 2–6 June 2014 

ABZ 2016, Linz, Austria, 23–27 May 2016 

ABZ 2018, Southampton, United Kingdom, 2018 

ABZ 2020, Ulm, Germany, 2021 (delayed due to the COVID-19 pandemic) 

 ABZ 2021, Ulm, Germany, 2021 ABZ 2023, Nancy, France 

ABZ 2024, Bergamo, Italie ABZ 2025, Dusseldorf, Allemagne  

 

 A Nantes, le 27 mai 2025

Ce colloque reliera les travaux de J.R. Abrial, du langage LTR développé au Centre de programmation de la marine en passant par le SGBD Socrate développé à l’IMAG de Grenoble et qui furent utilisés à l'arsenal d'Indret, sa participation à la définition du langage ADA, l’invention de la notation formelle Z, puis la méthode de spécification formelle B, suivie de Event B et du projet de plateforme logicielle Rodin 

 

Certes il y a la Chine ! https://blog.sciencenet.cn/blog-1225851-847436.html 

Et le traducteur Google donne pour : 计算机科学名人堂：Jean-Raymond Abrial Panthéon de l'informatique : Jean-Raymond Abrial et 

ailleurs https://www.youtube.com/watch?v=GGSYlBYidXc 

 Mais il y a aussi... Nantes !  

https://js.univ-nantes.fr/  

 

Quelques cours :  

https://teachingbconference.blogspot.com/2016/03/introduction-la-methode-b-jr-abrial.html  

https://teachingbconference.blogspot.com/2018/01/lectures-of-jean-raymond-abrial-on-b.html 

 https://www.youtube.com/watch?v=fSWZWXx5ixc 

 

On recherche le texte de J.R. Abrial Spécifier ou comment maîtriser l'abstrait, TSI, Vol 3, N° 3, 1984, pp. 201-219  

Pas trouvé en France où dans les BU on jette tout livre d'informatique de plus de 5 ans, alors pour les revues !!! Mais j'ai trouvé en Australie ! J'y connais un prof qui y enseigne B. Je vais demander à la BU de Nantes de me payer le voyage. Il paraît que la Grande Barrière de corail est malade. Je vais la revoir.  https://lefenetrou.blogspot.com/2007/03/magnetic-isalnd-townsville-queensland.html

 

Pourquoi Z, B ? 

 

Pierre Dac vous le dira ! 

 

" Voici les chiffres communiqués par les services de la statistique et intéressant la période comprise entre le 2 juillet et le 4 septembre : 545 285 ; 6 282 826 ; 1 285 938 743,601 ; 601 ; 602 ; 603 ; 604 ; 605 ; 106 ; 206 ; 306 ; 406 ; 506 ; 983 ; 882 ; 780 ; 680 ; 579. Nous ne savons pas à quoi se rapportent ces chiffres, mais nous sommes heureux de les communiquer à nos lecteurs qui auront ainsi toute latitude de les adapter suivant leur goût ou leur appréciation. " Pierre Dac