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=-0.5 required=5.0 tests=BAYES_05 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,21b6b0fada293320,start X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!postnews.google.com!37g2000yqp.googlegroups.com!not-for-mail From: gicca@adacore.com Newsgroups: comp.lang.ada Subject: SIGAda 2009 Date: Wed, 17 Jun 2009 00:59:16 -0700 (PDT) Organization: http://groups.google.com Message-ID: <8fbf6635-1096-40a6-b588-6bdf30e6aeb8@37g2000yqp.googlegroups.com> NNTP-Posting-Host: 212.99.106.127 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: posting.google.com 1245225557 8622 127.0.0.1 (17 Jun 2009 07:59:17 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 17 Jun 2009 07:59:17 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: 37g2000yqp.googlegroups.com; posting-host=212.99.106.127; posting-account=QsJ_IQkAAABvmUyHXEy8Jo_Wjp94VnLI User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.0.11) Gecko/2009060215 Firefox/3.0.11,gzip(gfe),gzip(gfe) Xref: g2news2.google.com comp.lang.ada:6495 Date: 2009-06-17T00:59:16-07:00 List-Id: SIGAda Conference: (Let me apologize if you receive this or similar messages more than once as I had a problem with my e-mail verification) Let me introduce myself. I am Greg Gicca and am the conference chair for this years SIGAda conference. The conference will be held the first week of November in the Tampa Bay area of Florida. We will in fact be right on the bay at a location that is easily accessible from the Tampa international airport and only 1-1/2 hour drive away from Orlando for those that might find it more convenient to fly into that airport. We have 3 very interesting expert keynote speakers that will speak to issues involved in: 1) Developing and maintaining large safety critical systems with experience with NASA, Home Land Security and the FAA. 2) Developing certified applications for both safety critical medical systems and high security research projects for the NSA. In this case using the statically verifiable SPARK language. 3) Lastly we have a presentation on a dual perspective from a Raytheon CTO who has worked on both the government and contractor side of the street. This presentation will provide an understanding as to why a program manager may view the use of Ada as a benefit in a contract proposal and how a contractor may make a case that it is advantageous to propose the use of Ada in new project development. For further details on these speakers, their backgrounds and presentations, see: http://www.sigada.org/conf/sigada2009/ We're actively seeking Technical Articles, Extended Abstracts, Experience Reports, Panel Sessions, Workshops, and Tutorials on the Ada programming language and related technologies for developing, analyzing, and certifying reliable, safe, secure software. The full set of topics can be found at the below link: http://www.sigada.org/conf/sigada2009/CFP-SIGAda2009-A4.pdf Please contact the SIGAda 2009 Program Chair, Lt. Col. Jeff Boleng (Jeff.Boleng@usafa.edu) if you are interested in submitting a paper. Abstracts must be submitted by the deadline listed. Final papers may then be submitted up until July 15th. Following an abstract submission and acceptance, presentations must be available 1 month prior to the conference date. Feel free to contact myself or Jeff if you have any questions regarding the conference or paper/presentation abstract submissions. -- ------------------ Greg Gicca SIGAda 2009 Conference Chair gicca@adacore.com 646-375-0734 office 727-944-5197 fax 603-785-5920 cell