Où Tony Hoare a-t-il écouté la première fois J.-R. Abrial ?

ça fait un moment que je cherchais. J'avais lu l'interview de Tony Hoare par Jonathan Bowen :

 "  "Hoare: Yes, it’d be a pleasure. I met Jean-Raymond Abrial
at a summer school organized by Electricite de France in a lovely
little village in France called Labrae sonnalp [sp]. I was very
impressed by his research, and indeed his lecturing. He was a brilliant
lecturer. I invited him to spend some research time at Oxford, and got
a research grant for him from the Research Council."

 

J'ai cherché les sites de vacances et colonies de vacances d'EDF (CCAS*, pas Centre Communal d'Action Sociale !), en vain. Et les barrages d'EDF.

Jonathan Bowen m'a dit de consulter Bernard Sufrin (dont J.-R. Abrial donne le nom dans sa conférence au Collège de France).

Et voici la réponse de Bernard.

"La Bréole, perhaps. Just down the road from Grenoble. Bertrand Meyer
worked for EDF at the time, and was instrumental in getting many
serious formal methods courses off the ground. I went, in the mid
1980s to give a course to EDF informaticians that BM. organised." 

Ah oui ! bien sûr ! le barrage de Serre-Ponçon ! que nous avons visité et où j'ai appris que bientôt en amont on aurait une belle plaine alluviale au lieu du lac !"


 

Deux usines hydroélectriques se trouvent sur la commune de la Bréole :

(c) Christophe Bren  https://lenergeek.com/
 

https://fr.wikipedia.org/wiki/Lac_de_Serre-Pon%C3%A7on 

source  pinterest.com 

Quel spécialiste de phonologie me dira comment Tony Hoare ou Jonathan Bowen sont passés de La Bréole à Labrae ?

J'ai la même question pour le passage d'Arédius à Yrieix !

Je suis un Arédien (né à Saint-Yrieix !). Je suis aussi un cuou negre, un cul noir. Mais là c'est plus facile. Nos cochons arédiens ont le cul noir ! 

 

 * ce n'est pas que pour les électriciens, c'est aussi pour les gaziers ! souvenir du temps où j'étais à la direction d'EDF en stage et m'intéressait au calcul des prix "publics" après avoir échangé, petit étudiant pictave, avec Marcel Boiteux et Maurice Allais (je ne suis jamais allé en train à Calais !)

Comments

Post a Comment

Popular posts from this blog

Ce que je dois à Jean-Raymond Abrial

Image
 Quand ai-je découvert Jean-Raymond Abrial ?  Peut-être bien que c'est quand j'ai fait acheter les actes de la conférence de Cargèse et que j'ai lu son article Data Semantics . Ou est-ce lors de la lecture des publications de la DER-IMA d'EDF (située à Clamart) ? Ce qui est sûr c'est que j'ai découvert Z dans le Meyer Baudoin, Méthodes de Programmation chez Eyrolles, puis dans le Delobel Adiba, Bases de données chez Dunod. Quand j'ai débuté en "informatique de gestion" (en I.U.T "Informatique") je trouvais que ce que je lisais était bien peu "scientifique". "Information" "donnée" "rubrique" etc.  Pour "donnée" j'ai appris les théorèmes de Jean-Louis Rigal qui était prof à l'Université Dauphine. Facile : Th1, "Une donnée n'est pas donnée" car c'est le résultat d'une abstraction, Th 2. "Une donnée n'est pas donnée" car une fois donnée, ce n'est...
Read more

Jean-Raymond Abrial (1938, 2025)

Image
  Jean-Raymond Abrial (1938, 2025) Jean-Raymond Abrial est décédé les 26 mai 2025 la vieille de la conférence qui a eu lieu dans le cadre des Journées Scientifiques de l'université de Nantes et qui traitait de ses travaux et de leur mise en oeuvre dans différentes domaines.J.-R Abrial est né en 1938 à Versailles. Après des études au Prytanée militaire de la Flèche, il fera l'Ecole Polytechnique. En 1960 il sera ingénieur du génie maritime. Il sera boursier du gouvernement français à Stanford University puis au Centre de Programmation de la Marine où il travaillera sur une version du langage LTR (Langage Temps Réel). C'est là que Gérard Le Lann, qui a fait partie de l'équipe ayant conçu Internet, l'a connu. J.-R Abrial est pour lui "l'un des plus grands informaticiens français ! Peu enclin à épouser les « modes » qui agitent plus ou moins régulièrement les communautés scientifiques. Liberté de penser, de créer, et liberté d'essaimer !".A Grenoble, d...
Read more

On B, Jean-Raymond Abrial

 Cet article date du temps où Jean-Raymond Abrial habitait rue des plantes à Paris. Digilog était deveni Steria, mais pas encore Clearsy. Donc d'avant 2001. On B Jean-Raymond Abrial Consultant, 26, rue des Plantes, 75014, Paris. abrial@steria.fr In  the B-Book [Abr96], an introduction entitled “What is B ?” presents it in a few pages. There is no point in reproducing this introduction here. There is, however, clearly a need to have in this book a sort of informal presentation of B complementing that of the B-Book for those readers who are not familiar with this approach. This is the purpose of this short text, where the emphasis will be put on the question of the development process with B. At the end of the text, I will also cover some more general problems concerning B (tool, education, research, future). B is o “Debugger”. The aim of B is very practical. Its ambition is to provide to industr...
Read more