From: "J-P. Rosen" <rosen@adalog.fr>
Subject: [Ann] Adalog Webinar on formal methods with Ada and SPARK
Date: Tue, 5 May 2020 12:16:22 +0200
Date: 2020-05-05T12:16:22+02:00 [thread overview]
Message-ID: <r8redk$jbu$1@dont-email.me> (raw)
Adalog is pleased to announce a training session as a 3-day webinar, May
27th to 29th, about using formal methods with Ada and SPARK.
This webinar is organized in cooperation with Ran Ettinger, a specialist
in formal methods and professor at Ben-Gurion University and Academic
College of Tel Aviv.
It will be given in French/English
All details (in French) available from:
https://adalog.fr/fr/formation_adaspark.html
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
reply other threads:[~2020-05-05 10:16 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox