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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,28c9b3d0be7ba510,start X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,CP1252 Received: by 10.68.199.202 with SMTP id jm10mr328657pbc.34.1315854875129; Mon, 12 Sep 2011 12:14:35 -0700 (PDT) Path: m9ni4855pbd.0!nntp.google.com!news1.google.com!postnews.google.com!u20g2000yqj.googlegroups.com!not-for-mail From: Greg G Newsgroups: comp.lang.ada Subject: SIGAda 2011 conference advanced program Date: Mon, 12 Sep 2011 12:14:34 -0700 (PDT) Organization: http://groups.google.com Message-ID: <165af5d8-cf57-4e1e-b206-431b03881dcf@u20g2000yqj.googlegroups.com> NNTP-Posting-Host: 72.185.255.241 Mime-Version: 1.0 X-Trace: posting.google.com 1315854875 25897 127.0.0.1 (12 Sep 2011 19:14:35 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Mon, 12 Sep 2011 19:14:35 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: u20g2000yqj.googlegroups.com; posting-host=72.185.255.241; posting-account=437h3QoAAADWBBpHooFiXZcPxeR3s6-q User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-Header-Order: HUALESNKRC X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:6.0) Gecko/20100101 Firefox/6.0,gzip(gfe) Xref: news1.google.com comp.lang.ada:17933 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Date: 2011-09-12T12:14:34-07:00 List-Id: Hello! Below is the Advanced Program for this years SIGAda 2011 conference. ACM Annual International Conference on Ada and Related Technologies: Engineering Safe, Secure, and Reliable Software Why You Should Attend Learn about the enhancements Ada2012 is bringing including the Programming by Contract features. Ada software is powering Boeing's 787; Europe's high-speed trains; the National Ignition Facility that will lead to new breakthroughs in power generation, astrophysics, materials science and many other scientific disciplines; space systems; U.S. and international air traffic control systems; the New York subway; and numerous military and commercial systems in which software reliability, safety, and security are paramount. As computers and software are becoming ubiquitous across all aspects of our lives, software reliability is of utmost importance. The Ada language is designed for, and has proven itself across multiple safety and security industries. Don't miss this chance to bring yourself up to date on Ada! Register early and join SIGAda you can SAVE up to $720 Visit the conference website! See http://www.sigada.org/conf/sigada2011 For latest tutorial, program, and exhibit information and on-line registration See http://www.sigada.org/conf/sigada2011/AP-SIGAda2011.pdf For the full version of this program Magnolia Hotel Denver, Colorado 80202 (USA) November 6-10, 2011 Sponsored by the ACM Special Interest Group on the Ada Programming Language (SIGAda) in cooperation with Ada-Europe, Ada Resource Association, and ACM Special Interest Groups on Embedded Systems, Programming Languages, Computers and Society, and Computer Science Education Featured Speakers and Session Leaders Grady Booch - Everything I Know I Learned from Ada IBM Fellow (Chief Scientist for Software Engineering, IBM Research) Presentation via Second Life Martin Carlisle - Why I Came Back To Ada Ph.D.(US Air Force Academy) Jim Rogers - Software Safety, and Related Language Considerations (MEI Technologies, Inc.) JP Rosen - How to Make Ada go "Viral (AdaLog) Corporate Sponsors Platinum: AdaCore Corporate Sponsors Silver: Ellidiss Software, LDRA --------------------------------------------------------------- ACM SIGAda Annual International Conference, November 6-10, 2011 Summary Conference Schedule --------------------------------------------------------------- PRE-CONFERENCE TUTORIALS Sunday, November 6 Introduction to Ada (SF1 - Full Day) Michael Feldman (George Washington Univ. retired) How to measure and optimize reliable embedded software (SA1 - Morning) Ian Broster(Rapita Systems) Service-Oriented Architecture (SOA) Concepts and Implementations (SA2 - Morning) Ricky Sward (MITRE Corp) and Jeff Boleng (USAF Academy) DO-178C: The Next Avionics Safety Standard (SP1 - Afternoon) Ben Brosgol (AdaCore) Improving the Quality of Ada Software with Range Analysis (SP2 - Afternoon) Jay Abraham (The Mathworks, Inc.) --------------------------------------------------------------- PRE-CONFERENCE TUTORIALS Monday, November 7 Building Embedded Real-Time Applications (MF1 - Full Day) John McCormick (Univ. of Northern Iowa) and Frank Singhoff (Univ. of Brest) Experimenting with ParaSail =96 Parallel Specification and Implementation Language (MA1 - Morning) Tucker Taft (SofCheck) Ada Coding Standards (MP1 - Afternoon) J-P Rosen (AdaLog) --------------------------------------------------------------- TECHNICAL PROGRAM Tuesday, November 8 9:00 10:30 am Greetings from SIGAda and Conference Officers Keynote Address: Everything I Know I Learned from Ada Grady Booch (IBM Fellow, Chief Scientist for Software Engineering, IBM Research) Via Second Life Broadcast 10:30 - 11:00 am Morning Break - Exhibits Open 11:00 - 12:30 pm A Parallel Programming Model for Ada Hazem Ali and Lu=EDs Miguel Pinho (CISTER Research Centre, Polytechnic Institute of Porto, Portugal) Stack Safe Parallel Recursion with Paraffin Brad Moore (General Dynamics, Canada) AdaCore Sponsor Presentation 12:30 - 2:00 pm Mid-day Break and Exhibits 2:00 - 4:00 pm Panel: How to Make Ada go "Viral JP Rosen (AdaLog), Tucker Taft (SofCheck), Brad Moore (GD Canada) Ellidiss Sponsor Presentation 4:00 - 4:30 pm Afternoon Exhibits 4:30 - 5:30 Birds of a feather: ParaSail Tuesday Evening Reception (7:00pm - 10:00pm) --------------------------------------------------------------- TECHNICAL PROGRAM Wednesday, November 9 9:00-- 10:30 am SIGAda Awards Keynote Address: Why I Came Back to Ada Martin Carlisle (US Air Force Academy) 10:30 - 11:00 am Morning Break and Exhibits 11:00 am - 12:30 pm Software Vulnerabilities Precluded by SPARK Paul E. Black, PhD and Chris E. Dupilka (NIST and US DoD) - F. David Jones and Joyce L. Tokar, PhD (Pyrrhus Software) Enhancing SPARK's Contract Checking Facilities Using Symbolic Execution John Hatcliff, Jason Belt, and Robby Robby (Kansas State Univ.) LDRA Sponsor Presentation 12:30 - 2:00 pm Mid-day Break and Exhibits 2:00 - 4:00 pm An Ada Design Pattern Recognition Tool for AADL Performance Analysis V. Gaudel, F. Singhoff, A. Plantec, and S. Rubini (Univ. of Brest, France) - P. Dissaux and J. Legrand (Ellidiss Software) Improving the Quality of Ada Software with Range Analysis Jay Abraham, Christian Bard, Jeff Chapple, Patrick Munier, and Cyril Preve (The Mathworks, Inc.) Making the Non-executable ACATS Tests Executable Dan Eilers, (Irvine Compiler Corp.) and Tero Koskinen 4:00 - 4:30 pm Afternoon Break 4:30 - 5:30 Birds of a Feather: GNAT 5:30 - 7:00 Dinner Break 7:00 - 11:00 Workshops --------------------------------------------------------------- TECHNICAL PROGRAM Thursday, November 10 9:00 - 10:15am Conference Best Paper Awards Invited Talk: Software Safety, and Related Language Considerations Jim Rogers (MEI Technologies, Inc.) 10:15 - 10:30 am Morning Break 10:30 - 12 noon Towards Ada 2012, An Interim Report John Barnes (John Barnes Informatics) Ada-Europe 2012 Announcement ACM SIGAda 2012 Announcement Closing Remarks --------------------------------------------------------------- SIGAda 2011 Venue and Hotel Magnolia Hotel 818 17th Street Denver, Colorado 80202 (USA) Phone: 1- 888-915-1110 (US/Canada) or 1-303-607-9000 Fax: 1-303-607-0101 The SIGAda 2011 Conference will be held at the Magnolia Hotel in downtown Denver, Colorado. The hotel is convenient to Denver International Airport, and walking distance to lower downtown and the Denver stadiums, entertainment, and the Colorado capital buildings. The hotel has reserved a block of rooms for the SIGAda 2011 conference. The conference rate is $140 for single or double occupancy rooms, which includes complimentary wireless internet, complimentary breakfast, and a complimentary evening reception. Overnight valet parking is available for $26 per night. All reservations must be guaranteed by credit card. Reservations must be received by October 8, 2011. See conference website for further details. SPONSORS/EXHIBITORS SIGAda 2011 will include vendor participation, featuring presentations on their products and services during main sessions. For specific information, please contact the Exhibits Chair, Greg Gicca. GRANTS TO EDUCATORS As in past years, SIGAda is offering grants to educators to attend the conference. Grants cover the registration and tutorial fees; members of the GNAT Academic Program may be eligible for travel funds from AdaCore. Apply by e-mail, no later than October 10, 2011. Grant program details are available from the conference website or Prof. Michael B. Feldman. WORKSHOPS/BIRDS-OF-A-FEATHER Focused workshops are important in shaping Ada technology to better meet the needs of the Ada community. Workshops result in a report to be published in ACM Ada Letters. Workshop descriptions are listed at the SIGAda 2011 website. Birds-of-a-Feather sessions are informal discussion groups. Additional workshop or Birds-of-a-Feather (BoF) proposals are welcome; please contact the Workshops Chair, Bill Thomas. --------------------------------------------------------------- Visit the conference website! See http://www.sigada.org/conf/sigada2011 For latest tutorial, program, and exhibit information and on-line registration See http://www.sigada.org/conf/sigada2011/AP-SIGAda2011.pdf For the full version of this program -- ------------------ Greg Gicca gicca@adacore.com 646-375-0734 office 646-358-3294 fax 603-785-5920 cell