Call for Technical Contributions

SIGAda 2009 logo

IF_result = '1'

Submission Due Date: July 15, 2009

IF_result = '1' Print out and distribute copies IF NOTEMPTY: IF NOTEMPTY "CFP-SIGAda2009.pdf" IF NOTEMPTY: field1_before (CFP-SIGAda2009.pdf) IF NOTEMPTY: field1_after (CFP-SIGAda2009.pdf) IF NOTEMPTY (CFP-SIGAda2009.pdf) IF_result = 'CFP-SIGAda2009.pdf'
2-page PDF IF NOTEMPTY: IF NOTEMPTY "" IF NOTEMPTY: field1_before () IF NOTEMPTY: field1_after () IF NOTEMPTY () IF_result = '1'
1-page PDF
  

SIGAda Annual International Conference:
Toward Safe, Secure, Reliable Software

November 1-5, 2009, 2009
Hilton St. Petersburg Bayfront
, USA
Sponsored by ACM SIGAda
http://www.sigada.org/conf/sigada2009/

IF NOTEMPTY: IF NOTEMPTY "" IF NOTEMPTY: field1_before () IF NOTEMPTY: field1_after () IF NOTEMPTY () IF_result = '1'

(Approval pending by ACM)

   IF_result = '1' Print out and distribute copies IF NOTEMPTY: IF NOTEMPTY "CFP-SIGAda2009-A4.pdf" IF NOTEMPTY: field1_before (CFP-SIGAda2009-A4.pdf) IF NOTEMPTY: field1_after (CFP-SIGAda2009-A4.pdf) IF NOTEMPTY (CFP-SIGAda2009-A4.pdf) IF_result = 'CFP-SIGAda2009-A4.pdf'
A4-size PDF

SUMMARY: Reliability, safety, and security are among the most critical requirements of contemporary software. The application of software engineering methods, tools, and languages all interrelate to affect how and whether these requirements are met.

Such software is in operation in many domains of application. Much has been accomplished in recent years, but much remains to be done. Our tools, methods, and languages must be continually refined; our management process must remain focused on the importance of reliability, safety, and security; our educational institutions must fully integrate these concerns into their curricula.

The conference will gather industrial and government experts, educators, software engineers, and researchers interested in developing, analyzing, and certifying reliable, safe, secure software. We are soliciting technical papers and experience reports with a focus on, or comparison with, Ada. We are especially interested in experience in integrating these concepts into the instructional process at all levels.

CONFERENCE LOCATION: Portland is the attractive, livable “City of Roses” in the Pacific Northwest. The weather in October is usually cool and often beautiful. University Place is a modern and reasonably-priced hotel located within walking distance of the central business district, the lively riverfront area, and the Portland State University campus.

HOW YOU CAN CONTRIBUTE: SIGAda 2009 solicits contributions in six major categories: Technical Articles, Extended Abstracts, Experience Reports, Workshops, Panel Sessions, and Tutorials. Contributions from students and faculty are actively solicited. Final acceptance will be contingent on a commitment to present the contribution at the Conference.

POSSIBLE TOPICS include but are not limited to:

  • Transitioning to Ada 2005
  • Educational challenges for developing reliable, safe, secure software
  • Ada and SPARK in the classroom and student laboratory
  • Language selection for highly reliable systems
  • Mixed-language development
  • Use of high reliability subsets or profiles such as MISRA C, Ravenscar, SPARK
  • High-reliability standards and their issues
  • Software process and quality metrics
  • Analysis, testing, and validation
  • Use of ASIS for new Ada tool development
  • High-reliability development experience reports
  • Static analysis of code
  • Integrating COTS software components
  • System Architecture & Design
  • Information Assurance
  • Ada products certified against Common Criteria / Common Evaluation Methodology

How You Can Contribute

SIGAda 2009 is interested in receiving contributions (Word, PDF, or text format) in six major categories: Technical Articles, Extended Abstracts, Experience Reports, Panel Sessions, Workshops, and Tutorials. Contributions from students are actively solicited.

IF_result = '1' IF_result = '1'

Final acceptance will be contingent on at least one co-author registering for and presenting the contribution at the Conference.

IF_result = '1'

IMPORTANT VISA INFORMATION FOR NON-US SUBMITTERS

OUTSTANDING STUDENT PAPER AWARD: An award will be given to the student author(s) of the paper selected by the program committee as the outstanding student contribution to the conference.

IF_result = '1'

Please submit Tutorial proposals to the Tutorials Chair,   ( at ).

IF_result = '1'

SPONSORS AND EXHIBITORS: Please contact IF_result = '1'   ( at ). for information about becoming a sponsor and/or exhibitor at SIGAda 2009.

IF_result = '1' IF_result = '1' Please submit any questions on the conference to the Conference Chair, Greg Gicca (gicca at adacore.com).

IF_result = '1'

Please submit any questions to the Conference Chair,   ( at ).

See the SIGAda home page for details: http://www.sigada.org/conf/sigada2007/


Back to Main Page Back to Main Page
last updated 16 July 2009 - cgr