The 20th International Symposium on Theoretical Aspects of Software Engineering July 4 - 6, 2026, Shanghai, China

 https://tase2026.github.io/c_cs.html

With a celebration of JRA, including a 15-minute talk by Jonathan Bowen

17:00-18:00 Gedenkschrift for Jean-Raymond Abrial

Comments

Post a Comment

Popular posts from this blog

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

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) English

Image
   Jean-Raymond Abrial (1938, 2025) Jean-Raymond Abrial died on May 26, 2025, the day before the conference held as part of the Scientific Days of the University of Nantes, which discussed his work and its application in various fields.    J.-R. Abrial was born in 1938 in Versailles. After studying at the Prytanée militaire de la Flèche, he attended the École Polytechnique.    In 1960 , he became a marine engineer. He received a French government scholarship at Stanford University and then at the French Navy Programming Center, where he worked on a version of the LTR (Real-Time Language) language. It was there that Gérard Le Lann, who was part of the team that designed the Internet, met him. For him, J.-R. Abrial is "one of the greatest French computer scientists! He is reluctant to embrace the "fashions" that more or less regularly shake up scientific communities. Freedom to think, to create, and freedom to spread! "     In Grenoble, at a univer...
Read more