In memoriam, Philippe Facon, Claude Boksenbaum, Guy Vidal-Naquet, Ken Robinson

 In memoriam
Nous dédions ces actes aux collègues décédés avec lesquels nous avons échangé
sur B.

Philippe Facon (-1999) Décédé tragiquement le 1er septembre 1999. Il a dirig
é au laboratoire CEDRIC (Centre d'Études et de Recherches en Informatique
du CNAM) l'équipe Conception et Programmation Raisonnées (CPR). 1
Il fut membre du Comité Scientique National chargé du suivi et de l'évaluation
de l'expérience d'introduction de l'informatique dans l'enseignement général
du second degré (Année 1983-1984)

Claude Boksenbaum (1942 - 2008) Encore un docteur de l'université de
Grenoble dans les années 60. En 1975 il passe une thèse sur la  Simulation de
système informatique , alors qu'il a séjourné au Centre IBM de Cambridge-USA
de septembre 1969 à août 1970. J'ai connu Claude Boksenbaum lors d'une école
d'automne de l'Afcet qu'il avait organisée. Je me souviens de son doux sourire, de
son humour tendre. Il était amateur de machines Apple. Puis ensuite ce fut avec
B. C'est lui qui a monté la deuxième conférence internationale sur la "Méthode
B" à Montpellier et qui a organisé le repas de gala de la conf. Avec un chanteur du
répertoire de Boby, l'inventeur du système bibi-binaire, Boby était de Pézenas.
Il avait fait un CD d'interviews de grands informaticiens. ... et je pense que
c'est lui qui m'a conduit une fois en retraite à m'inscrire comme étudiant en
master d'histoire des sciences au Centre François Viète de Nantes pour faire un
mémoire sur l'histoire des méthodes de développement des logiciels. C'est lui
qui nous a oert à tous les participants ce tee-shirt portant l'inscription "Let it
B". Membre du Comité d'organisation du Tournoi des Candidats "Montpellier
1985" il a été le directeur informatique du grand tournoi du Championnat du
Monde FIDE d'échecs.

Guy Vidal-Naquet (1946 - 2018) Il était professeur à L' université Paris-
Sud ou Paris-XI et détaché au département informatique de Supélec, 2. Il avait
fait sa thèse à l'Université Pierre et Marie Curie en 1981 sous la direction de
Maurice Nivat et Jean-Pierre Benejean , Rationalité et déterminisme dans les
réseaux de Petri
J'avais lu ses livres, et j'ai échangé avec lui sur le BUG. J'ai encore nos
échanges. Il est intervenu en à la journée dans le cadre des Journées Scientiques
de l'université de Nantes. On Teaching the Concept of Renement with B Guy
Vidal-naquet, Joanna Tomasik.

Ken Robinson (1938, 2020) Ken est venu à Nantes pour les conférences Z et B. Ken, toujours le sourire aux lèvres. Un type charmant. Jonathan Bowen et d'autres nous en disent plus sur Ken  https://www.bcs.org/media/6694/facs-feb21.pdf https://www.researchgate.net/publication/365583154_Ken_Robinson_-_A_Remembrance https://en.wikipedia.org/wiki/Ken_Robinson_(computer_scientist) https://www.unsw.edu.au/news/2020/09/remembering-ken-robinson

1. Par le passé, l'ENSIIE (École Nationale Supérieure d'Informatique pour l'Industrie et
l'Entreprise) dépendait du CNAM (Conservatoire National des Arts et Métiers, situé à Pa-
ris) et s'appelait alors IIE (Institut d'Informatique d'Entreprise). Le 1er août 2006, l'IIE est
devenue une école autonome (EPA, art.43), rattachée à l'Université d'Évry
2. Elle a disparu le 1er janvier 2020 remplacée par l' université Paris-Saclay
1