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? GAP 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 Privacy Terms The information above is collected by AdaCore for the purpose of processing and answering your request. Please read our privacy policy if you want to know more about how we process your information and your rights. Privacy Policy I agree to the processing of the above information for the purpose of processing and answering my request in accordance to AdaCore privacy policy. Ignore this field