![[SIGAda conference logo]](/~dirk/.image/sigadaconf.jpg)
Reminder -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Wed, 2 Nov 2011 06:50:32 -0400
From: "Roby, Clyde G"
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for November 2011:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
6-10 November 2011
Magnolia Hotel
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
Hotel Information
Magnolia Hotel
Denver, Colorado, USA
Room Rates
The Magnolia Hotel has reserved a block of rooms for the SIGAda 2011
conference from Thursday night, November 3, through Wednesday night,
November 16. The conference rate is $140 for single or double occupancy
rooms. This includes complimentary wireless Internet, complimentary
breakfast, and a complimentary evening reception. State and local
taxes will be added per night. All reservations must be guaranteed
by credit card.
Check-in time is 3:00pm. Check-out time is 11:00am.
Reservations must be received by October 8. After this date, the
hotel is not obligated to honor Conference Rates.
Guests are permitted to check-in earlier on a request basis through
the Front Office Manager, and will be honored according to anticipated
occupancy for that day. Complimentary checkroom facilities will be
available for early arrivals and late checkouts.
Reservations - You may register at the hotel:
o By calling their toll free (USA) Reservations number at
+1.888.915.1110 and refer to "Association for Computing Machinery".
o By calling their direct number at +1.303.607.9000 and then ask for
"Reservations"; please refer to "Association for Computing Machinery".
o By using their FAX number at +1.303.825.0361. Please include your
name, arrival and departure dates, your email address, and the group
name, Association for Computing Machinery.
o By making Reservations by email (denres@magnoliahotels.com) and
include your name, arrival and departure dates, your email address,
and the group name, "Association for Computing Machinery".
Internet Availability - Regular internet and Wi-Fi Internet access
is free in each guest room.
Parking at the Hotel - Valet parking at the hotel is $26 per night.
Travel to/from the Hotel
The hotel has excellent information for directions to and from Denver
International Airport as well as information about transportation
to and from the airport via Super Shuttle, Taxi Services, and
Limousine Service. Check out the links from their web page at
http://www.magnoliahoteldenver.com/magnolia-denver-our-hotel-our-history.aspx?menupos=1
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda 2011):
Engineering Safe, Secure, and Reliable Software
Magnolia Hotel
Denver, Colorado, USA
6-10 November 2011
http://www.sigada.org/conf/sigada2011/
o Free and Open Source Software Developers' European Meeting (FOSDEM 2012)
Brussels, Belgium
4-5 February 2010
http://www.fosdem.org/2012/
o ACM Technical Symposium on Computer Science Education (SIGCSE 2012)
Raleigh, North Carolina, USA
February 29 - March 3, 2012
http://www.sigcse.org/sigcse2012/
o Ada-Europe 2012
17th International Conference on Reliable Software Technologies
Stockholm, Sweden
11-15 June 2012
[ http://www.ada-europe.org/conference2012 -- dc ]
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Reminder -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Fri, 30 Sep 2011 14:12:03 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
[ 96 lines deleted; see updated version above -- dc ]
Call for Participation -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Mon, 12 Sep 2011 15:10:33 -0400
From: Greg Gicca <gicca@ADACORE.COM>
Subject: SIGAda 2011 conference advanced program
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
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
Reminder -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Fri, 2 Sep 2011 06:33:38 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for September 2011:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
6-10 November 2011
Magnolia Hotel
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o IRTAW-15 (15th International Real-Time Ada Workshop)
Liébana (Cantabria), Spain
September 14-16, 2011
http://www.artist-embedded.org/artist/-IRTAW-15-.html
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda 2011):
Engineering Safe, Secure, and Reliable Software
Magnolia Hotel
Denver, Colorado, USA
6-10 November 2011
http://www.sigada.org/conf/sigada2011/
o [ duplicates removed; see above -- dc ]
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
SIGAda Award nomination deadline approaching -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
From: John McCormick <mccormick@cs.uni.edu>
Newsgroups: comp.lang.ada
Subject: Call for SIGAda Award Nominations
Date: Wed, 17 Aug 2011 09:44:05 -0700 (PDT)
Dear Members of the Ada Community:
On Thursday, 10 November 2011, the 2011 SIGAda Awards will be
presented in a special morning plenary session at the SIGAda 2011
conference in Denver, Colorado. (See http://www.sigada.org/conf/sigada2011/
if you have somehow missed announcements of this year's annual SIGAda
international conference.)
We welcome your nominations of deserving recipients.
The ACM SIGAda Awards recognize individuals and organizations who have
made outstanding contributions to the Ada community and to SIGAda.
The two categories of awards are:
(1) Outstanding Ada Community Contribution Award
-- For broad, lasting contributions to Ada technology & usage.
(2) ACM SIGAda Distinguished Service Award
-- For exceptional contributions to SIGAda activities & products.
Please consider who should be nominated this year. You may nominate a
person for either or both awards, and as many people as you think
worthy. One or more awards will be made in both categories.
Please visit http://www.sigada.org/exec/awards/awards.html#Previous
and peruse the names of past winners. This may help you think about
the measure of accomplishment that is appropriate. You may be aware
of people who have made substantial contributions that have not yet
been acknowledged. Nominate them. Consider what you believe to be the
best developments in the Ada community or SIGAda in the last year; the
last 5 years; since Ada's inception. Who was responsible? Nominate
them.
Please note that anyone who has received either of the two awards
remains eligible for the other. Perhaps there is an outstanding
SIGAda volunteer who has won our Distinguished Service Award and who
has also made important contributions to the advance of Ada
technology, or visa versa. Nominate him or her!
The nomination form is available on the SIGAda website at
http://www.sigada.org/exec/awards/awards.html#Form.
Submit your nomination as an e-mail or e-mail attachment to SIGAda-
Award@ACM.ORG.
The ACM SIGAda Awards Committee, comprised of volunteers who have
previously won an award, will determine this year's recipients from
your nominations.
Call our attention to the people who are most deserving, by nominating
them. And please nominate by Sunday September 25!
Your participation in the nominations process will help maintain the
prestige and honor of these awards.
Thank you,
John McCormick
Past Chair ACM SIGAda
Reminder -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Tue, 2 Aug 2011 07:13:58 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
[ 46 lines deleted; see updated version above -- dc ]
Reminder -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Wed, 6 Jul 2011 06:53:08 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for July 2011:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
6-10 November 2011
Magnolia Hotel
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o [ duplicates removed; see above -- dc ]
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda 2011):
Engineering Safe, Secure, and Reliable Software
Magnolia Hotel
Denver, Colorada, USA
6-10 November 2011
http://www.sigada.org/conf/sigada2011/
o [ duplicates removed; see above -- dc ]
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Reminder -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Thu, 2 Jun 2011 06:42:33 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for June 2011:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
6-10 November 2011
Magnolia Hotel
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o The Ada Connection combines the
16th International Conference on Reliable Software Technologies (Ada-Europe 2011)
with Ada Conference UK 2011
Edinburgh, UK
20-24 June 2011
http://www.ada-europe.org/conference2011
o ITiCSE (Innovation and Technology in Computer Science Education) 2011
Darmstadt, Germany
27-29 June 2011
http://www.iticse2011.tu-darmstadt.de/
o [ duplicates removed; see above -- dc ]
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda 2011):
Engineering Safe, Secure, and Reliable Software
Magnolia Hotel
Denver, Colorada, USA
6-10 November 2011
http://www.sigada.org/conf/sigada2011/
o [ duplicates removed; see above -- dc ]
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Reminder -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Mon, 2 May 2011 07:29:00 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for May 2011:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
6-10 November 2011
Magnolia Hotel
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o DASIA (DAta Systems In Aerospace) 2011
Corinthia Palace Hotel & Spa
MALTA
17-20 May 2011
http://www.eurospace.org/
o [ duplicates removed; see above -- dc ]
o ACM Technical Symposium on Computer Science Education (SIGCSE 2012)
Raleigh, North Carolina, USA
February 29 - March 3, 2012
http://www.sigcse.org/sigcse2012/
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Reminder -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Mon, 4 Apr 2011 06:52:10 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
[ 50 lines deleted; see updated version above -- dc ]
Call for Papers -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
From: Greg G <greggicca@gmail.com>
Newsgroups: comp.lang.ada
Subject: SIGAda 2011 conference Call for Papers
Date: Wed, 23 Mar 2011 07:57:27 -0700 (PDT)
Group,
An important announcement for Ada and high reliability software
developers:
SIGAda 2011
Denver, Colorado, USA
November 6 - 10, 2011
Call for Technical Contributions
ACM Annual International Conference
on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Submission Deadline: June 30, 2011
Sponsored by ACM SIGAda
http://www.acm.org/sigada/conf/sigada2011
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 application domains. 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, long-lived,
secure software. We are soliciting technical papers and experience
reports with on these development topics. A direct relationship or
comparison with the Ada language is preferred.
KINDS OF TECHNICAL CONTRIBUTIONS:
TECHNICAL ARTICLES present significant results in research, practice,
or education. Articles are typically 10-20 pages in length. These
papers will be double-blind refereed and published in the Conference
Proceedings and in ACM Ada Letters. The Proceedings will be entered
into the widely-consulted ACM Digital Library accessible online to
university campuses, ACM's 80,000 members, and the software community.
POSSIBLE TOPICS INCLUDE BUT ARE NOT LIMITED TO:
* Challenges for developing reliable, safe, long-lived, secure
software
* Ada and SPARK language experience reports
* Language selection for high reliability systems
* Mixed-language development
* Use of high reliability subsets or profiles such as MISRA C,
Ravenscar, SPARK, etc.
* High-reliability application development; conformance to DO-178B and
preparing for DO-178C
* High-security application development; conformance to Common
Criteria and Protection Profiles
* Analysis, testing, and validation
* Software process and quality metrics
* System of Systems
* Real-time networking/quality of service guarantees
* High-reliability development experience reports
* Static and dynamic analysis of code
* Use of formal methods for correctness proof
* Integrating COTS software components
* System Architecture & Design including Service-Oriented Architecture
and Agile Development
* Information Assurance
* Ada products certified against Common Criteria / Common Evaluation
Methodology
* Distributed systems
* Use of newer Ada 2005 features/capabilities
* Fault tolerance and recovery
* Performance analysis
EXTENDED ABSTRACTS discuss current work for which early submission of
a full paper may be premature. If your abstract is accepted, you will
be expected to produce a full paper, which will appear in the
proceedings. Extended abstracts will be double-blind refereed. In 5
pages or less, clearly state the work’s contribution, its relationship
with previous work by you and others (with bibliographic references),
results to date, and future directions.
EXPERIENCE REPORTS present timely results on the application of Ada
and related technologies. Submit a 1-2 page description of the project
and the key points of interest of project experiences. Descriptions
will be published in the final program or proceedings, but a paper
will not be required.
PANEL SESSIONS gather a group of experts on a particular topic who
present their views and then exchange views with each other and the
audience. Panel proposals should be 1-2 pages in length, identifying
the topic, coordinator, and potential panelists.
INDUSTRIAL PRESENTATIONS Authors of industrial presentations are
invited to submit a short overview (at least 1 page in size) of the
proposed presentation to the Industrial Committee Chair by August 1st
2011. The authors of selected presentations shall prepare a final
short abstract and submit it to the Committee Chair by October 1st,
2011, aiming at a 30-minute talk. The authors of accepted
presentations will be invited to submit corresponding articles for
publication in the ACM Ada Letters.
WORKSHOPS are focused work sessions, which provide a forum for
knowledgeable professionals to explore issues, exchange views, and
perhaps produce a report on a particular subject. A list of planned
workshops and requirements for participation will be published in the
Advance Program. Workshop proposals, up to 5 pages in length, will be
selected by the Program Committee based on their applicability to the
conference and potential for attracting participants.
TUTORIALS offer the flexibility to address a broad spectrum of topics
relevant to Ada or high-reliability software development topics, and
those enabling technologies which make the engineering of Ada
applications more effective. Submissions will be evaluated based on
relevance, suitability for presentation in tutorial format, and
presenter’s expertise. Tutorial proposals should include the expected
level of experience of participants, an abstract or outline, the
qualifications of the instructor(s), and the length of the tutorial
(half-day or full-day).
HOW TO SUBMIT: Send contributions by June 30, 2011, in Word, PDF, or
text format as follows:
Technical Articles, Extended Abstracts, Experience Reports, and Panel
Session Proposals to: Program Chair,
Lt. Col. Jeff Boleng (jeff.boleng@usafa.edu)
Tutorial Proposals to: Tutorials Chair, Dr. Robert Pettit
(rpettit@gmu.edu)
Industrial Presentations Proposals to: Industrial Committee Chair,
Prof. Liz Adams (adamses@cs.jmu.edu)
FURTHER INFORMATION:
CONFERENCE GRANTS FOR EDUCATORS: The ACM SIGAda Conference Grants
program is designed to help educators introduce, strengthen, and
expand the use of Ada and related technologies in school, college, and
university curricula. The Conference welcomes a grant application from
anyone whose goals meet this description. The benefits include full
conference registration with proceedings and registration costs for 2
days of conference tutorials/workshops. Partial travel funding is also
available from AdaCore to faculty and students from GNAT Academic
Program member institutions, which can be combined with conference
grants. For more details visit the conference web site or contact
Prof. Michael B. Feldman (mfeldman@gwu.edu)
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.
SPONSORS AND EXHIBITORS: Please contact Greg Gicca (gicca@adacore.com)
for information about becoming a sponsor and/or exhibitor at SIGAda
2011.
IMPORTANT INFORMATION FOR NON-US SUBMITTERS: International registrants
should be particularly aware and careful about visa requirements, and
should plan travel well in advance. Visit the conference website for
detailed information pertaining to visas.
ANY QUESTIONS?
Please submit any questions to the conference chair, Ricky E.(Ranger)
Sward (rsward@mitre.org).
Reminder -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Wed, 2 Mar 2011 06:33:58 -0500
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for March 2011:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
6-10 November 2011
Magnolia Hotel
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o ACM Technical Symposium on Computer Science Education (SIGCSE 2011)
Dallas, Texas, USA
9-12 March 2011
http://www.sigcse.org/sigcse2011/
o DASIA (DAta Systems In Aerospace) 2011
Eden Andalou Spa and Resort
Marrakesh, Morocco
17-20 May 2011
http://www.eurospace.org/
o [ duplicates removed; see above -- dc ]
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda 2011):
Engineering Safe, Secure, and Reliable Software
Magnolia Hotel
Denver, Colorada, USA
6-10 November 2011
http://www.sigada.org/conf/sigada2011/
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Reminder -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Tue, 15 Feb 2011 06:56:12 -0500
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for February 2011:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
6-10 November 2011
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o [ duplicates removed; see above -- dc ]
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda 2011):
Engineering Safe, Secure, and Reliable Software
Denver, Colorada, USA
6-10 November 2011
http://www.sigada.org/conf/sigada2011/
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Reminder -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Mon, 3 Jan 2011 08:01:19 -0500
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for January 2011:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
November 2011
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o [ duplicates removed; see above -- dc ]
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda 2011):
Engineering Safe, Secure, and Reliable Software
Denver, Colorada, USA
November 2011
http://www.sigada.org/conf/sigada2011/
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Reminder -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Thu, 2 Dec 2010 07:11:21 -0500
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for December 2010:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
November 2011
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o [ duplicates removed; see above -- dc ]
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda [2011]):
Engineering Safe, Secure, and Reliable Software
Denver, Colorada, USA
November 2011
http://www.sigada.org/conf/sigada2011/
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Announcement -
ACM SIGAda Annual International Conference on Ada and Related Technologies (SIGAda'2011)
Date: Tue, 2 Nov 2010 06:50:25 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for November 2010:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
November 2011
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o [ duplicates removed; see above -- dc ]
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif)
To the Ada-Belgium home page.
Last update: 2011/11/xx.
Dirk Craeynest