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

    "Another period which brought Jean-Raymond and I into closer collaboration was the “Rodin” project. (An earlier project was called “Matisse” and I suggested using the sculptor’s name to mark that we were going to be solid. ) The EU-funded project was led by Newcastle and Sascha Romanovsky was happy for me to have a roving technical brief in this and the subsequent “Deploy” ([ 10 ]) projects. In the Rodin project, I took particular interest in Jean-Raymond’s tool building team in ETH. I visited often and was frankly surprised at how effective my “loner” friend was as a project manager: on arrival, I could get an immediate overview of the tool development by looking at the blackboard in their room in Clausiusstrasse. The “Rodin toolset” was crucial to the deserved acceptance of “Event-B”."    https://dl.acm.org/doi/full/10.1145/3772005   obituary Open access Share on   Remembering Jean-Raymond Abrial Author : Cliff ...

  "If fire is regarded as a thing - for the pre-Socratics it is one of the 4 elements - and not as a reaction between several things, we cannot understand anything. Now observation presents fire to us as a thing." The vision of fire as an entity, an object with its properties blocked scientific invention. It was in 1785 that Lavoisier destroyed the substantial conception of fire and the phlogiston theory, by carrying out the analysis and synthesis of water. "Jouary J.P. 2002 Enseigner le vérité ? Essai sur les sciences et leurs représentations. L ’Harmattan

” Si le feu est regardé comme une chose - pour les présocratiques il est un des 4 éléments -, et non comme une réaction entre plusieurs choses, on ne peut rien comprendre. Or l’observation nous présente le feu comme une chose ”. La vision du feu comme une entité, un objet avec ses propriétés a bloqué l’invention scientifique. C’est en 1785 que Lavoisier a détruit la conception substantielle du feu et la théorie phlogistique, en réalisant l ’analyse et la synthèse de l ’eau. " Jouary J.P. 2002 Enseigner le vérité ? Essai sur les sciences et leurs représentations. L ’Harmattan    

 Voici quelques extraits des archives de l'association APCB, Association de Pilotage des Conférences internationales B. On y verra le passage des conférences B aux conférences BZ. Maintenant nous avons ABZ. Here are some excerpts from the archives of the APCB association, Association de Pilotage des Conférences internationales B. We will see the transition from the B conferences to the BZ conferences. Now we have ABZ. La déclaration de l'association au Journal Officiel de la République Française  Dépôt légal d'actes de conférences Vers la première conférence BZ  Une des compositions de APCB  

  https://www.nosta.gov.cn/pc/en/awards/awardees2/1511.shtml " The awarding ceremony of the 2016 National Science and Technology International Cooperation Award was held on January 9th, 2017 at the Great Hall of the People in Beijing. The adjunct professor of the School of Computer Science and Software Engineering at East China Normal University, a famous French computer scientist, Jean-Raymond Abria won the International Science and Technology Cooperation Award of the People's Republic of China. East China Normal University is the only institution in Shanghai with the award. "   See the photographs in the article cited. https://en.wikipedia.org/wiki/Great_Hall_of_the_People    

  https://www.youtube.com/watch?v=J3mYPI2_d84 Michael Leuschel • 1er Professor of Computer Science 1 j      For fun I encoded the barber paradox in Event-B: ``` context BarberParadox sets People constants barber shaves axioms @axm1 barber∈People @axm2 shaves ∈ People ↔ People @axm3 ∀x· x∈People ⇒ (x↦x ∉ shaves ⇔ barber↦x ∈ shaves) theorem @thm1 barber↦barber ∈ shaves theorem @thm2 barber↦barber ∉ shaves theorem @thm3 1=2 end ``` and the answer of the Rodin auto-provers is, yes, the barber shaves himself and he also does not shave himself and 1=2. The answer of ProB is that the axioms are in...