Posts

FACS FACTS Issue 2026-1 January 2026 Chronological bibliography of Jean-Raymond Abrial

 FACS FACTS Issue 2026-1 January 2026 Chronological bibliography of Jean-Raymond Abrial Henri Habrias * December 2025 https://www.bcs.org/media/veppnllv/facs-jan26.pdf “The very first paper on Z was published in 1980 (at the time, the name Z was not ‘invented’), then the book on the B method was published in 1996, and, finally, the book on Event-B was published in 2010. So, 30 years separate Z from Event-B. It is thus clear that I spent a significant time of my scientific professional life working with the same kind of subject in mind, roughly speaking specification languages. I do not know whether this kind of addiction is good or bad, but what I know is that I enjoyed it a lot.” — J.-R. Abrial in From Z to B and then Event-B: Assigning Proofs to Meaningful Programs, J.-R. Abrial In: E.B. Johnsen, L. Petre (eds), Integrated Formal Methods (IFM 2013). LNCS, vol. 7940, pp. 1–15. Springer. ISBN: 978-3-642-38612-1. doi:10.1007/978-3-642-38613-8-1   * Aided by Dominique Cansell; e...
Post a Comment
Read more

Memories of Jean-Raymond Abrial in Oxford, the Alps, and Paris, Bernard Sufrin

 Memories of Jean-Raymond Abrial in Oxford, the Alps, and Paris Bernard Sufrin Emeritus Fellow: Worcester College & Departement of Computer Science: Oxford University FACS FACTS Issue 2026-1 January 2006 https://www.bcs.org/media/veppnllv/facs-jan26.pdf   The end : "Au revoir I wrote earlier of Jean-Raymond’s frighteningly fast work rate. And for the first few months of 1981 he worked even more quickly – generating large numbers of drafts of new foundations for the language and its basic library, as well as building the prototype of an extensible proof checker, and writing essays inspired by Cliff Jones’s book[6]. This work would (eventually) become the basis for B and the B tool. The rest of the “Z group” found it impossible to keep up with him, and wanted the notation to stay stable for a while. We had materials to prepare for courses and further collaborations with industrial partners to pursue,10 and a large (5 year) Software Engineering project to prepare for. Then on...
Post a Comment
Read more

Jean-Raymond Abrial: A Pioneer of Formal Methods (in 4 slides)

Image
Gedenkschrift for Jean-Raymond Abrial, ABZ 2026, Tokyo       Early Life and Career 1938, birth in Versailles Military Prytanée of La Flèche (Secondary school) 1958, Ecole Polytechnique, Paris 1960, Engineer from the École Polytechnique, Naval Engineering Graduate Master's studies at Stanford University 2 years at the Naval Programming Center, Paris Langage LTR, Real-Time Language First publication : 1966 Abrial, Bourgne, Yvon, Modular programming applied to a real-time military system     DBMS Socrate, Data Semantics, Z (Grenoble) 1968 J.R. Abrial  arrives in Grenoble. In two years (1969-70) with a team of 3 PhD students he develops the Socrate DBMS which will later be called Clio. Jean-Raymond Abrial. DATA SEMANTICS.  Data Base Management 1974, IFIP, Apr 1974,  Cargèse (Corsica) Publications Z of the EDF Research and Development Department, Clamart      Formal Methods: The Z Notation, B-Method, and Event-B 2 mai 1979 « Gree...
Post a Comment
Read more

ABZ 2026, Program

Plenary You're viewing the program in a time zone which is different from your device's time zone change time zone Mon 18 May Displayed time zone: Osaka, Sapporo, Tokyo change      18:15 - 19:15      ABZ Gedenkschrift for Jean-Raymond AbrialABZ at 2F Conf Room 2 Chair(s): Yamine Ait Ameur IRIT/INPT-ENSEEIHT      18:15 60m Talk          Gedenkschrift for Jean-Raymond Abrial Tue 19 May      08:30 30m Registration 09:00 - 09:10      ABZ Opening ABZ at 2F Conf Room 4      09:10 - 10:10      ABZ Invited Talk 1: Toshiaki AokiABZ at 2F Conf Room 4     09:10 60m Keynote         Practical Applications of Formal Methods to Automotive Systems: From In-Vehicle Systems to Autonomous Driving Toshiaki Aoki JAIST 10:10 - 10:35 ABZ Session 1: Concurrent and Distributed SystemsABZ at 2F Conf Room 4 Chair(s): Dominique Mery Université de Lorra...
Post a Comment
Read more

Spécification formelle et génération automatique de programmes : le système Descartes,Jean-Luc Dormoy, Bruno Ginoux, Jean-YvesLucas, Laurent Pierre, Claudia Jimenez-Dominguez

 Spécification formelle et génération automatique de programmes : le système Descartes Jean-Luc Dormoy, Bruno Ginoux, Jean-YvesLucas, Laurent Pierre1, Claudia Jimenez-Dominguez2 Electricité de France Direction des Etudes et Recherches 1, avenue du Général de Gaulle 92141 CLAMART Cedex Rene.Descartes@der.edfgdf.fr 1 DER-EDF, IMA/TIEM/GLIP, 1 avenue du Général de Gaulle 92141 CLAMART CEDEX 2 Société INFORAMA  https://dormoy.org/JLuc/Papers/GL97.pdf     I just searched for the publications of EDF's DER-IMA (Department of Engineering and Innovation - Applied Mathematics). And I found Descartes and Jean-Luc Dormoy. I had gone to Clamart to meet him, and he was at the Nantes B conference. I'm updating the blog.     Why wasn't this software more widely known and disseminated? Today it's difficult to find online. It's like the DER-IMA publications on Z by J.-R. Abrial. And the books by Meyer-Baudoin and Delobel-Adiba, in which Z is used, are no longer in p...
Post a Comment
Read more

Celebrating Tony Hoare’s mark on computer science, B. Meyer

  https://bertrandmeyer.com/2026/03/16/celebrating-tony-hoares-mark-on-computer-science/ 16 March 2026  
Post a Comment
Read more

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer

 submitted to IEEE Annals of the History of Computing     https://arxiv.org/abs/2604.07353
Post a Comment
Read more