GAP Registration Form Contact Name Membership is open to teachers, as well as graduate students using Ada or SPARK technologies in the context of a master’s thesis or Ph.D. Contact Title Academic Institution Department Email Address Department or personal URL Phone Fax 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? Terms By selecting the box below, I acknowledge that I agree with the terms and conditions of the GAP Community Agreement Do you agree? Yes