SIGAda 2011 conference advanced program

SIGAda 2011 conference advanced program

[Greg G]

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 – 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ís 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