Call for Participation - SIGAda 2003 7-11 December 2003, San Diego, California, USA Sponsored by ACM SIGAda (Approval pending by ACM) 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. See the SIGAda 2003 Home Page for the complete, printable Call for Participation: http://www.acm.org/sigada/conf/sigada2003 <http://www.acm.org/sigada/conf/sigada2003> Deadline for all submissions: 8 June 2003 Please submit questions on the conference to the Conference Chair, Robert C. Leif [log in to unmask] <mailto:[log in to unmask]> or the Program Chair, Ricky E. Sward [log in to unmask] <mailto:[log in to unmask]> .