High Integrity Language Technology
ACM SIGAda’s Annual International Conference
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.
- Full conference registration for HILT 2014, in Portland, Oregon, USA, October 18-21, 2014, including one copy of the conference proceedings.
- Registration costs for 2 days of pre-conference tutorials at HILT 2014 (titles to be published after the program is settled). You may choose to attend any tutorial(s) and workshop(s) that will help you achieve your goals.
In order to be considered for a conference grant, prepare a brief proposal and send it by e-mail by October 4, 2014 toProf. Michael B. Feldman
The George Washington University (ret.)
Email: MFeldman at GWU.Edu
The proposal should contain three specific items:
- 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.
- Proposer’s Statement (500 words maximum): A statement of the proposer’s background, environment, and plans.
- Environment : The current curriculum in your institution
- Plans: What you plan to do regarding high-integrity software in the curriculum and how these plans relate to the current environment in your school
- Background : The relevant experience that you bring to the plans
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.
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.
- the quality and appropriateness of the plans
- the appropriateness of the conference tutorials to the plans
- the preparation of the proposer to carry out the plans
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.