From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,ebcfe75df2561678,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-06-12 21:43:36 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: ricky.sward@ix.netcom.com (Ricky E. Sward) Newsgroups: comp.lang.ada Subject: SIGAda 2003 Submission Deadline Extended Date: 12 Jun 2003 21:43:35 -0700 Organization: http://groups.google.com/ Message-ID: <1a8dff1.0306122043.3b3f172@posting.google.com> NNTP-Posting-Host: 68.168.151.159 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1055479415 29247 127.0.0.1 (13 Jun 2003 04:43:35 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 13 Jun 2003 04:43:35 GMT Xref: archiver1.google.com comp.lang.ada:39078 Date: 2003-06-13T04:43:35+00:00 List-Id: Submission Deadline Extended to July 11, 2003! 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 Deadline for all submissions: Deadline extended to 11 July 2003 Please submit questions on the conference to the Conference Chair, Robert C. Leif rleif@rleif.com or the Program Chair, Ricky E. Sward rsward@usafa.edu.