SIGAda 2003

2003 ACM SIGAda Annual International Conference
7, Dec, 2003 to 11, Dec, 2003
Red Lion Hanalei Hotel, San Diego, U.S.A.
Homepage: http://turing.acm.org/sigs/sigada/conf/sigada2003/Outside Link
Sponsors: ACM SIGAdaOutside Link
Call for Papers: http://turing.acm.org/sigs/sigada/conf/sigada2003/SIGAda2003-CFP.htm Deadline: 8, Jun, 2003

Constructing highly reliable software is an engineering challenge that can now be met in many domains. The application of software engineering methods, tools, and languages interrelate to make the challenge easier or more difficult. This conference focuses on the interaction between these three aspects of software engineering, especially how features in Ada have and will permit the development of the tools and methods that result in correctness, reliability, and quality of the resulting software. Especially welcome are papers that analyze Ada with respect to these factors or in comparison with other languages. This conference will gather industrial experts, educators, software engineers, and researchers interested in developing, analyzing, and certifying reliable, cost-effective software. Technical or theoretical papers as well as experience reports with a focus on Ada are solicited. Possible topics include but are not limited to: