GAP Registration FormMembership open to Teachers and Graduate Students Leave this field blank First Name * Last Name * Title * Academic Institution * Department Department or Personal URL Email * Phone Street Address* City* Country* State* Postal Code* Additional Information Languages taught Ada SPARK Use of Ada and/or SPARK in your academic institution CS programming language Real-time programming Specific tool courses (e.g. compiler/debugger) Safety critical/high-integrity applications Comparative Embedded programming A brief description of the use of Ada and/or SPARK and the GAP toolset in your curriculum How did you find out about the GNAT Academic Program? I would like to receive marketing related communications from AdaCore including news, events, updates and promotional emails. By submitting this form you agree to our Privacy Policy, and would like to enroll in the GAP Program.