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
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]> .