* [Ann] Adalog Webinar on formal methods with Ada and SPARK
@ 2020-05-05 10:16 J-P. Rosen
0 siblings, 0 replies; only message in thread
From: J-P. Rosen @ 2020-05-05 10:16 UTC (permalink / 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-05-05 10:16 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-05-05 10:16 [Ann] Adalog Webinar on formal methods with Ada and SPARK J-P. Rosen
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox