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	Duration	Venue
Software Engineering with SPARK	5th - 8th Mar 2012	4 days	Bath
Concurrent Software Design with RavenSPARK	9th Mar 2012	1 day	Bath
Refresh Your SPARK	19th Mar 2012	1 day	Bath
Advanced SPARK Program Design and Verification	20th - 22nd Mar 2012	3 days	Bath
Introduction to the Proof Checker	23rd Mar 2012	1 day	Bath

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