Altran Praxis English language selection button
Altran Praxis French language selection button
Altran Praxis English language label
Altran Praxis Logo
Altran Praxis Training image

SPARK

SPARK training

Worldwide, SPARK Training is available through AdaCore.

View detailed descriptions of all SPARK training courses.

Courses can be run as necessary in Bath, Paris, New York, or at your facilities.

Additionally, we regularly run open SPARK courses here at our offices in Bath, UK. Current schedule:
Course Dates
Software Engineering with SPARK 8th-11th March 2010
Advanced SPARK Program Design and Verification 23rd-25th March 2010
Introduction to the Proof Checker 26th March 2010

For enquiries and reservations, please contact the SPARK Course Administrator via email