TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show HTML Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Sward Ricky E Lt Col USAFA/DFCS <[log in to unmask]>
Reply To:
Sward Ricky E Lt Col USAFA/DFCS <[log in to unmask]>
Date:
Mon, 14 Apr 2003 15:05:16 -0600
Content-Type:
text/plain
Parts/Attachments:
text/plain (29 lines)
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]> .

ATOM RSS1 RSS2