CL1 - J.R. Abrial, un pionnier du développement scientifique des langages informatiques et des méthodes formelles et de leur application à grande échelle dans l’industrie

Colloque n°1 - Salle N

Résumé

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.

Programme

• Découvrir le programme (version française)
• Discover the program (english version)

Vous souhaitez participer à ce colloque ?

Inscrivez-vous jusqu'au 11 mai !

1. Inscrivez-vous via le formulaire qui vous correspond ci-dessous
2. Vous pouvez choisir de prendre un repas sur place si vous le souhaitez.
   A noter : Si vous souhaitez vous inscrire à 2 colloques ou plus, merci de vous inscrire qu'à un seul repas pour éviter le gaspillage.

Inscription équipe et intervenants

Inscription participants

Inscription participants en distanciel

Ce colloque est organisé par :

• Responsable scientifique : Henri HABRIAS
• Chargé·e d'organisation : Pascal ANDRE

Laboratoire des Sciences du Numérique de Nantes (LS2N)