Call for Participation
SIGAda 2002 Conference "Building Reliable Software"
Houston/Clear Lake, TX 8 - 12 Dec. 2002.
In Cooperation with ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT, and Ada Europe
The SIGAda 2002 Program Committee invites you to submit a
The deadline for submissions is June 3, 2002
Constructing reliable software is an engineering challenge. The
application of 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 a language such as Ada drive the tools, methods, and
ultimately 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 designing, developing, and testing reliable software.
Technical or theoretical papers as well as experience reports with a focus
on Ada are solicited.
For more information on submissions and possible topics, see the SIGAda
2002 web page at
Program Committee Chair