HILT 2014             ACM logo - Advancing Computing as a Science & Profession

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Grants for Educators


The ACM/SIGAda HILT 2014 Conference Grants program is intended to help educators introduce, strengthen, and expand coverage of high-integrity software and associated programming languages, in secondary school, college, and university curricula. We welcome a proposal from anyone whose goals meet this description.


Travel funding is not included in the conference grant program, but see below regarding travel grants sponsored by AdaCore, which can be combined with conference grants.

How to Propose

In order to be considered for a conference grant, prepare a brief proposal and send it by e-mail by October 4, 2014 to
Prof. Michael B. Feldman
The George Washington University (ret.)
Email: MFeldman at GWU.Edu

The proposal should contain three specific items:

  1. Cover Letter: A cover sheet with your name, address, phone number, and e-mail address (if available). It should be stated that you would not be able to attend the conference without the support of this grant. It would be useful to obtain a statement from the appropriate department chair or dean, to the effect that he/she has read and supports your propsal, including assurance that the necessary travel funds will be made available to you if the grant is awarded.
  2. Proposer’s Statement (500 words maximum): A statement of the proposer’s background, environment, and plans.
  3. Course Selection: State which tutorial(s) or workshop(s) you would like to attend, and if it is not obvious, the relevance of these courses to the plans above.

Evaluating Proposals

All proposals will be evaluated by educators who teach and use high-integrity software concepts in their curricula. Proposals will be evaluated on: Notification of Award decision will be made by email within a few days of receipt of proposal. Grantees will receive instructions for on-line registration. Registration using the award instructions will be accepted until October 7, 2014.

Grants for AdaCore’s GNAT Academic Program

AdaCore is making available a limited number of travel grants, at $400/person, to support conference participation and attendance by faculty and students at institutions that are members of AdaCore’s GNAT Academic Program. Through October 4, 2014, applications will be handled first-come first-served from GAP member faculty or students who are presenting papers at the conference. After that date, applications will be handled first-come first-served from GAP member faculty or students who are either presenting a paper or simply attending the conference. Please contact Tracey Gilbert (gap-contact at adacore.com) for more information.

Created on 14 October 2014;  website comments and corrections to ClydeRoby at ACM.Org