High Integrity Language Technology
ACM SIGAda’s Annual International Conference
Focused workshops are important in evolving software development technologies to better meet the needs of the Ada community, particularly regarding Reliable and Secure Systems. Workshops are free for those registered for the conference.
Additional workshops or Birds-of-a-Feather (BoF) sessions are welcome. SIGAda workshops have a focused objective and result in a report to be published in Ada Letters. BoFs are informal discussion groups. If you would like to propose a Workshop or BoF, please contact the Workshops Chair, John W. McCormick, (mccormick at cs.uni.edu).