J'apprends ce 3 juin le décès de J.-R Abrial à Marseille le 26 mai 2025
I learned on June 3 of the death of J.-R Abrial in Marseille on May 26, 2025, the day before the conference
J.R. ABRIAL, A PIONEER IN THE SCIENTIFICDEVELOPMENT OF COMPUTER LANGUAGES
Let'it B !
see https://lefenetrou.blogspot.com/2025/06/tony-hoare-j-r-abrial-and.html
https://js.univ-nantes.fr/jassiste-aux-colloques/js25cl1
Introduction
https://lefenetrou.blogspot.com/2025/06/introduction-conference-js2025-jean.html
https://velo.wiki.ls2n.fr/doku.php?id=velo:js2025
Actes, compléments, enregistrement vidéo de la conférence
Proceedings, supplements, presentations of the speakers, video recording of the conference
.jpg)
Ce colloque reliera les travaux de J.R. Abrial, du langage LTR développé au Centre de programmation de la marine, à Paris, en passant par le SGBD Socrate développé à l’IMAG de Grenoble, sa participation à la définition du langage ADA, l’invention de la notation formelle Z, puis la méthode de spécification formelle B, suivie de Event B et du projet de plateforme logicielle Rodin.
This conference will link the work of J.R. Abrial, from the LTR language developed at the Centre de programmation de la marine in Paris, through the Socrate DBMS developed at IMAG in Grenoble, his participation in the definition of the ADA language, the invention of the formal notation Z, then the formal specification method B, followed by Event B and the Rodin software platform project.
Programme
Vous pouvez toujours vous inscrire. Si vous avez des difficultés contactez-nous à
henri dot habrias at univ tiret du 4 nantes dot fr
Vous serez au centre du monde ! et nous vous proposons de spécifier formellement cette définition du centre du monde.
https://lefenetrou.blogspot.com/2025/03/albrecht-penck-nantes-au-centre-du.html
« C’est en terre gallique que Strabon, le géographe contemporain
d’Auguste, découvre un Dionysos insolite qui avait retenu l’attention du
philosophe et de l’ethnographe Posidonius d’Apamée. (…)
« Posidonius
affirme qu’il y a dans l’Océan une petite île qu’il situe sur
l’embouchure de la Loire, et pas tout à fait en haute mer ; qu’elle est
habitée par les femmes des « Namnètes », femmes possédées de Dionysos et
vouées à apaiser ce dieu par des rites et toutes sortes de cérémonies
sacrées. Aucun mâle ne peut mettre le pied sur l’île. En revanche, les
femmes elles-mêmes qui sont toutes des épouses traversent l’eau pour
s’unir à leurs maris et s’en retournent ensuite. La coutume veut qu’un
fois l’an elles enlèvent le toit du sanctuaire et en remettent un autre
le même jour, avant le coucher du soleil, chacun y apportant sa charge
de matériel. Celle dont le fardeau tombe à terre est déchiquetée par les
autres qui promènent ses membres autour du sanctuaire en criant
l’évohé. Elles ne s’arrêtent pas avant que leur délire (luttè) ne prenne
fin. Or il arrive toujours que l’une ou l’autre tombe et doive subir un
pareil sort. »
Ce Dionysos insolite, trop hellénique pour être
baptisé « celtique », laisse les géographes aussi embarrassés que les
historiens. Que penser de « Namnètes », dont le nom vivrait encore dans
celui de la ville de Nantes ? S’agit-il de l’île de Batz ou de l’île
Dumet, dans l’estuaire de la Vilaine, à dix kilomètres en mer, ou
encore, malgré la distance, de Belle-Isle-en-mer ? (…) » Marcel
Detienne, Dionysos à ciel ouvert, Textes du XXe siècle, Hachette, 1996,
ISBN : 2-01-011954-1, pages 67-69
Un petit tour atour et alentours de la Cité des Congrès de Nantes
Arrivée à Nantes, sortie gare sud
Vous allez voir la "Tour LU" (ce n'est pas l'originale, et il y en avait deux !)
En 1950, Pont de la Rotonde.
Les quais que vous longerez, les voici, et la cité des Congrès à l'horizon. Moins de 7 minutes à pied.
"La surface du biscuit est lisse et possède 24 poinçons (4 lignes sur 6 colonnes) entremêlés de l'inscription « Lu Petit-Beurre Nantes » sur trois lignes. La lettre B du Petit-Beurre est située au centre du biscuit. Le biscuit est arrosé de lait avant de passer au four pour obtenir l'aspect doré à la cuisson. La dorure est uniforme sur l'ensemble de la partie centrale et plus soutenue sur les dents.
L'épaisseur de 8 biscuits est égale à la largeur, ce qui permet de réaliser un paquet de section carrée. Ainsi, les dimensions du gâteau étaient pensées afin de rationaliser l'emballage, le transport et le stockage (à l'origine boîtes de fer-blanc (usine des Forges de Basse-Indre en face de l'Arsenal d'Indret où était utilisé le SGBD Socrate de J.R. Abrial dont vous parlera J.P. Giraudin, décorées de dessins faisant sa réclame)"
Wikipedia ne vous dit pas que le Petit Beurre représente le temps qui passe ! Mais on a maintenant l'information sur la Toile.
" Chaque Petit Beurre comporte 4 coins, qui représentent les quatre saisons de l'année. 52 petites "dents" sont présentes. Elles représentes les 52 semaines de l'année. Si vous comptez les petits points présents sur le gâteau, vous en comptabiliserez 24, comme les 24 heures d'une journée. Enfin, si vous vous amusez à mesurer le biscuit, vous verrez qu'il mesure 7 centimètres, comme les 7 jours de la semaine. " https://www.gentside.com/news/insolite/le-sens-cache-de-la-forme-du-petit-beurre-de-lu_art82187.html
Il faut que j'en informe Gérard Berry ! (2)
J'ai appris cela au Centre François Viéte https://cfv.univ-nantes.fr/qui-sommes-nous à Nantes de la fac des sciences, plaisirs de la retraite !. François Viète né à Fontenay-le-Comte où a vécu François Rabelais et Georges Simenon et ...
Viète est un des premiers mathématiciens en Europe à noter les paramètres d'une équation par des symboles. Il fonde ainsi l'algèbre nouvelle ou « logistique spécieuse », une version "homogène" de notre façon actuelle de mener les calculs symboliques (Wikipedia)
Il sera chargé par le roi Henri IV du décryptage des codes secrets ennemis. C'est notre Alan Turing ! (1)
Mais ...
Dans les messageries Internet, l'icône en forme de trombone symbolise couramment la présence d'une pièce jointe.(message à Andy Galloway : en anglais, on dit "Gem clip" car fut fabriqué par The Gem Manufacturing Company dans les années 1880).
(c) Photo des archives de PO, Nathalie Bourreau
J'ai déposé aussi une chanson en occitan limousin. Avec ça je suis sûr d'avoir déposé un texte écrit dans une langue qui ne sera plus parlée dans peu d'années. D'où ma proposition de changer la notation actuelle pour les 16 cas de relations binaires par la notation Oc (qui rappellera à la fois Ockham et la langue occitane)
Je vous parle de ça car la conférence et ses "actes" sont le grenier des travaux de J.R. Abrial. Mais B vit toujours.
Mais Alexandre Vialatte (4) (natif de Magnac-Laval) a écrit :
"La vitesse accélère le retard"
La Tour LU à côté de la Cité des Congrès
Les quais de l'Erdre, la plus belle rivière de France a dit François 1e. Le canal de Nantes à Brest débute à l'écluse de Quiheix, après la "plaine de Mazerolles" (il s'agit de l'Erdre !).
A l'autre bout du tunnel dont vous voyez une des entrées/sorties sur la photo ci-dessus, il y a la cité des congrès. Nous ne vous parlerons pas de la cathédrale dont on voit le clocher. Nous l'avons vu brûler notre première année à Nantes (incendie involontaire), le 28 janvier 1972 et brûler de nouveau (incendie volontaire) en juillet 2020.
28 janvier 1972. 1972, l'année et le mois du cours de J.R. Abrial à Grenoble
source : https://db.aconit.org/dbmedia_0/pdf_8/8255.pdf
Vous voyez le tunnel qui permet aux bateaux de passer de l'Erdre à la Loire. L'écluse est proche de la Cité des congrès.
Vous êtes arrivés !
Au marché de Talensac
Du Pont Saint-Mihiel au marché de Talensac (9)
En face de la sortie nord de la gare (la sortie sud, est toute proche de la Cité des congrès, en bord de l'Erdre (qui est passée sous la place dite Louis XVI - car il s'y trouve une colonne avec la statue de Louis XVI - par le tunnel), le Jardin des plantes.
Place du Bouffay, un pas de côté. Nous en avons fait beaucoup dans ce texte.
Château des ducs de Bretagne
Nos récents restaurants (pub gratuite)
Attention ! il faut réserver !
- Bouillon Gloriette (en face de l'île Gloriette), 11 quai de la fosse, Nantes, France
- Les Bistrot des enfants nantais, 4 rue Desaix. https://le-bistro-des-enfants-nantais.eatbu.com/?lang=fr
P.S. G. Berry me cite" le restaurant Le Reflet, assez unique". Ce n'est pas un de nos récents. Mais effectivement, ...il faut aussi réserver ! C'est quartier Decré. Pourquoi ce nom ? (5)
https://lesextraordinaires.org/
La mer
Nota, le train vous mènera au bord de la mer en moins d'une heure, à Pornic au sud. Ou à St-Nazaire, La Baule, ..
Les sentiers
Il y en a des kilomètres le long de la Loire, La Sèvre nantaise, l'Erdre, le Cens, la Chézine, le Gesvre,
Les parcs
Jardin des plantes, parc de Procé, parc du Grand Blottereau, parc de la Gaudinière, Ile de Versailles
Le Murano nantais, Trentemoult, avec le navibus
https://lefenetrou.blogspot.com/2014/02/trentemoult-le-burano-nantais.html
graffiti à Trentemoult
Il ne s'agit pas de la digue de la chanson, chanson qui, étonnant, est maintenant entonnée à Clisson au HellFest Festival "des musiques ultimes" (Z c'est le langage ultime, avec B vous êtes bien avant C ! Pour Clisson, aux Marches de Bretagne, je préférais La blanche hermine de Gilles Servat ("vive Fougères et Clisson") (6)
Avec un ticket de transport en commun, tram, bus et bateau (le navibus), traversez la Loire vers Trentemoult (vélos acceptés)
- une balade en bateau électrique sur l'Erdre, ou remontée de l'Erdre jusqu'à Sucé-sur-Erdre, en bateau avec repas.
https://www.location-bateaux-electriques.com/sites/nantes
Si vous avez une voiture, je vous conseille au nord :
- une balade à La Roche-Bernard et sa crêperie La sarrasine (sa galette aux coquilles St-Jacques) et à la Mine d'or à Pénestin à l'estuaire de la Vilaine
au sud :
- vous promener dans le plus grand parc japonais d'Europe à Maulévrier
https://www.parc-oriental.com/
et un déjeuner à 30 euros
https://www.chateaucolbert.com/fr/restaurant
ou dans le potager du château Colbert avec les légumes du potager
https://www.chateaucolbert.com/fr/potager
(1) En fouillant, j'ai retrouvé ce petit livre que je vous conseille pour votre prochain voyage : "La machine de Turing", Alan Turing, Jean-Yves Girard, Points, Sciences, 180 pages
(2) Gérard Berry, Le temps vu autrement, Odile Jacob, 2025
(3) https://www.ls2n.fr/equipe/velo/?lang=en
VELO Vérification pour l'Environnement et le LOgiciel
(4) Vialatte qui a écrit "C'est en étant d'accord sur le vocabulaire qu'on a pu aller dans la Lune."
(5) Emile Decré, Un grand commerçant chrétien, André Bovar, Siloë, 1977
https://fr.wikipedia.org/wiki/Decr%C3%A9
(6)"Techniquement, le texte est un heptasyllabe en laisse à rimes croisées. Alternativement, le phrasé inclinant davantage à l'interprétation qui suit, elle peut être considérée comme un tétrakaïdécasyllabe (vers à quatorze syllabes) avec césure à l’hémistiche, c’est-à-dire que le phrasé se coupe naturellement à la moitié, ici à la septième syllabe, et rimes plates sur les hémistiches." https://fr.wikipedia.org/wiki/La_Blanche_Hermine_(chanson) Avec ça je ne vais pas vous encourager à l'écouter !
(9) Un courriel de Steve
"Salut Henri!
Souvenirs de nos discussion à l'époque de la Conférence internationale Pierre Abélard à l'aube des universités à Nantes https://www.persee.fr/doc/rhef_0048-7988_2004_num_90_224_4114_t24_0317_0000_2. York n'est pas connu que pour son jambon, mais pour son musée du rail et York Minster. Au nord, l'Université de Durham ressemblait à la cathédrale de Nantes après son incendie. Steve habite dans la ville qui a vu arriver le premier train (on est toujours dans la méthode B) ! Pas loin de Middlesbrough (University of Teesside) où la ville a toujours un pont suspendu alors que Nantes a perdu le sien.
-
Articles
Aucun commentaire:
Enregistrer un commentaire