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 6th - 9th September 2010
Concurrent Software Design with RavenSPARK 20th September 2010
Advanced SPARK Program Design and Verification 21st - 23rd September 2010
Introduction to the Proof Checker 24th September 2010

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