Jean-Raymond Abrial, Z, Socrate, B, Event-B, Rodin

  Rodin Workshop 2026 13th Rodin User and Developer Workshop The 13th Rodin User and Developer Workshop, May 18th, 2026, Tokyo, Japan * Hybrid event * Event-B is a formal method for system-level modelling and analysis. The Rodin Platform is an Eclipse-based toolset for Event-B that provides effective support for modelling and automated proof. The platform is open-source and is further extendable with plug-ins. A range of plug-ins have already been developed. The 13th Rodin workshop will be collocated with the FM 2026 Conference , . The purpose of this workshop is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers. For Rodin users the workshop will provide an opportunity to share tool experiences and to gain an understanding of on-going tool developments. For plug-in developers the workshop will provide an opportunity to showcase their tool...

 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...

 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...

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...

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...

 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...