GAP Registration Form Leave this field blank Contact Name Contact Title Academic Institution Department Email Address Department or Personal URL Phone Fax Street Address* City* Postal Code* Country* State* 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? By selecting the box below, I acknowledge that I agree with the terms and conditions of the GAP Community Agreement Do you agree? Yes 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.