ACM SIGAda early registration deadline approaching

ACM SIGAda early registration deadline approaching

Post by mfeldma » Sat, 10 Oct 2009 16:09:39


SIGAda 2009 Advance Program
ACM's Annual International Conference on Ada and Related Technologies
(Engineering Safe, Secure, and Reliable Software)

November 1 - 5, 2009, Tampa Bay, Florida, USA

http://www.sigada.org/conf/sigada2009

Sponsored by SIGAda, ACM's Special Interest Group on
the Ada Programming Language, in cooperation with SIGBED, SIGCAS,
SIGCSE, SIGPLAN, Ada-Europe and the Ada Resource Association

*** Early registration discount until October 23 ***
*** Advance Program available on conference web site ***

-----------------------------------------------------------------------

Ada software is powering Boeing's 787 Dreamliner, the high-speed trains
of Europe, the Nuclear Ignition Facility (NIF) that will lead to new
breakthroughs in the worlds of 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. Don't miss this
chance to bring yourself up to date on Ada!

The Advance Program with full information is available on the
conference web site. It contains the list of accepted papers and
keynote presentations, as well as detailed descriptions of tutorials.

Direct URLs
- home page and keynote presentations:
<http://www.sigada.org/conf/sigada2009>
- conference at a glance& advance program:
<http://www.sigada.org/conf/sigada2009/advance-program.html>
- conference registration:
<http://www.sigada.org/conf/sigada2009/registration.html>
- accommodation:
<http://www.sigada.org/conf/sigada2009/hotel-rates.html>
- travel information:
<http://www.sigada.org/conf/sigada2009/SIGAda2009-travel-info.html>

Quick overview
- Sun 1& Mon 2: tutorials
- Tue 3& Wed 4: vendor exhibition& presentations
- Tue 3 - Thu 5: keynote& paper presentations

Proceedings
- published by ACM, both in print and in the ACM Digital Library
- printed proceedings will be available at conference

Keynote presentations
- Richard Schmidt
Lockheed Martin, Information Systems& Global Services - Civil Group
"An Ada Retrospective: Developing Large, Mature, Reliable Systems"
- John Knight, University of Virginia, Computer Science Department
"Echo: A New Approach to Formal Verification Based on Ada -
The Technology& Experience in Security and Medical Devices"
- J. C. Smart, Raytheon Intelligence and Information Systems
"A Look at Ada from Both Sides Now
(a government, and a defense contractor perspective)"

Invited presentation
- James Chelini and George Romanski, Verocel
"The Evolution of the Aviation Software Assurance Standard,
DO-178B/ED-12B Working towards DO-178C/ED-12C"

Tutorials (full day)
- "Introduction to Ada",
Michael B. Feldman, The George Washington University (ret.)
- "An Introduction to the C# Language and .NET Infrastructure",
Ben Brosgol, AdaCore
- "SPARK - The Libre Language and Toolset for High-Assurance Software",
Trevor Jennings, Praxis HIS, UK

Tutorials (half day)
- "How Ada Object Orientation Works",
Jeanne Murtagh, Lockheed Martin, and Drew Hamilton, Auburn University
- "Ada for Real-Time and Parallel Processing",
John W. McCormick, Univ
 
 
 

1. ACM SIGAda early registration deadline approaching

2. SIGAda 2005 Early Registration Deadline Approaching

SIGAda 2005 is being held in Atlanta November 13-17, 2005. The
deadline for early tutorial and conference rates is October 17th.
While we can no longer guarantee conference rates at our venue, the
DoubleTree Hotel, Atlanta-Buckhead, the last time I checked they still
had rooms remaining at the conference rate.

Thursday, November 17th is dedicated to Ada 2005. This is a perfect
opportunity to hear about Ada 2005 from members of the ISO/IEA Working
Group responsible for the development and standardization of Ada. On
top of that, there will be many opportunities to network with Ada
experts in industry and government, giving you unique insights into
technologies beyond those currently released.

You can find descriptions of the tutorials, see the technical program,
and register for the conference at our web site:

http://www.yqcomputer.com/

If you need a few days beyond the early rate cutoff date, contact our
Registration Chair (contract information on the web site) and request
an extension.

I hope to see you in Atlanta.

John McCormick
SIGAda 2005 Conference Chair

3. SIGAda 2010 -- deadline approaching for early conference and hotel rates -- act soon!

4. SIGAda 2003 Early Registration Deadline Extended

5. SIGAda 2008 Conference Registration Deadlines Fast Approaching!

6. CFP: IJCAI-05: EARLY REGISTRATION DEADLINE APPROACHING (21 May 2005)

7. Ada-Europe 2007 early registration deadline approaching

8. FAST '08 Early Bird Registration Deadline Approaching

9. call For Participation SOSP 2005: Early Registration Deadline approaching

10. FAST '08 Early Bird Registration Deadline Approaching

11. Call For Participation SOSP 2005: early registration deadline approaching