![[SIGAda conference logo]](/~dirk/.image/sigadaconf.jpg)
Date: Thu, 8 Oct 2009 23:56:03 -0700
From: Michael Feldman <mfeldman@gwu.edu>
Subject: ACM SIGAda 2009 early registration deadline approaching
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
-----------------------------------------------------------------------
SIGAda 2009 -
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, University of Northern Iowa
- "Embedded, Hard, Real-Time Systems with Ada",
Pat Rogers, AdaCore
- "Unmanned Systems and Ada",
Cynthia Cicalese, Ricky E. Sward, Richard Weatherly, The MITRE
Corporation, and Joel Sherrill, OAR Corporation
- "Multi-Language Programming with Ada",
Quentin Ochem, AdaCore, France
- "Embedded Systems Engineering with the AADL: Modeling & Analysis",
David Gluch, Software Engineering Institute (SEI) and
Embry-Riddle Aeronautical University
- "Service Oriented Architecture (SOA) Concepts and Implementations
for Ada", Ricky E. Sward, The MITRE Corporation
Papers and Presentations
- 3 keynotes and 1 invited presentation
- 12 refereed technical papers
- vendor presentations by exhibitors
Exhibition
- 3 exhibitors already committed:
AdaCore, Ellidiss Software, Lockheed Martin
- others expressed interest
Evening events
- Monday: SIGAda Extended Executive Committee Meeting (open to all)
- Tuesday: private visit to and conference dinner at the famous
Salvator Dali Museum <http://www.salvadordalimuseum.org>
- Wednesday: Workshops and Birds of a Feather meetings
Registration
- early registration discount up to Friday October 23, 2009
- additional discount for ACM members
- reduced rate for full-time students, grants to educators
- registration includes proceedings at event (hard copy & USB stick)
- includes continental breakfast, coffee breaks and Tue social event
- payment possible by credit card
The conference hotel has reserved a block of rooms at a reduced price:
reservations must be received by October 9.
For more info and latest updates see the conference web site at
<http://www.sigada.org/conf/sigada2009> or contact the conference
chair Greg Gicca at <gicca at adacore.com>.
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Date: Fri, 2 Oct 2009 06:50:47 -0400
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for October 2009:
Don't forget about our annual SIGAda conference:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Tampa Bay, Florida, USA
November 1-5, 2009
http://www.acm.org/sigada/conf/sigada2009/
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 domains of application. 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, secure software.
We have solicited technical papers and experience reports with a focus
on, or comparison with, Ada, especially experience in integrating these
concepts into the instructional process at all levels.
TECHNICAL ARTICLES present significant results in research, practice,
or education. Articles are typically 10-20 pages in length when
published in the Final Conference Proceedings and in ACM Ada Letters.
The Proceedings will also be entered into the widely-consulted ACM
Digital Library accessible online to university campuses, ACM's 80,000
members, and the software community.
EXPERIENCE REPORTS present timely results on the application of Ada and
related technologies. Descriptions will be published in the final
program or proceedings.
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.
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 are published in the
Advance Program on the conference website.
TUTORIALS offer the flexibility to address a broad spectrum of topics
relevant to Ada, and those enabling technologies which make the
engineering of Ada applications more effective. Submissions have been
evaluated based on relevance, suitability for presentation in tutorial
format, and presenters expertise. Examine the conference website for
descriptions of tutorials accepted and short bio-sketches of the
instructors.
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 Alok Srivastava
(Alok.Srivastava@auatac.com) for information about becoming a sponsor
and/or exhibitor at SIGAda 2009.
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 your questions on the conference to the
Conference Chair, Greg Gicca (gicca@adacore.com) or Local Arrangements
Chair Currie Colket (colket@acm.org).
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o IRTAW-14 (14th International Real-Time Ada Workshop)
Portovenere, Italy
7-9 October 2009
http://events.math.unipd.it/irtaw14/
o ACM Technical Symposium on Computer Science Education (SIGCSE 2010)
Milwaukee, Wisconsin, USA
10-13 March 2010
http://www.sigcse.org/sigcse2010/
o [22nd] Annual Systems & Software Technology Conference (SSTC 2010)
Salt Lake City, Utah, USA
[26-29] April 2010
http://www.sstc-online.org/
o DASIA (DAta Systems In Aerospace) 2010
Budapest, Hungary
1-4 June 2010
http://www.eurospace.org/
o Ada-Europe 2010
15th International Conference on Reliable Software Technologies
Valencia, Spain
14-18 June 2010
http://www.ada-europe.org/conference2010.html
o ITiCSE (Innovation and Technology in Computer Science Education) 2010
[ 26-30 June 2010
Ankara, Turkey
http://www.iticse2010.bilkent.edu.tr/
-- dc ]
o Principles of Distributed Computing (PODC 2010)
[ 25-28 July 2010
Zurich, Switzerland
http://www.podc.org/podc2010/
-- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Wed, 2 Sep 2009 06:24:53 -0400 From: SIGAda Webmaster <roby@IDA.ORG> Subject: Monthly Reminder for SIGAda To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG Message for September 2009: Don't forget about our annual SIGAda conference: SIGAda Annual International Conference on Ada and Related Technologies: Engineering Safe, Secure, and Reliable Software Tampa Bay, Florida, USA November 1-5, 2009 http://www.acm.org/sigada/conf/sigada2009/ [ 122 lines deleted; see updated version above -- dc ]
From: "Ricky E. Sward" <ricky.sward@msn.com>
Newsgroups: comp.lang.ada
Subject: Call for SIGAda Award Nominations
Date: Fri, 28 Aug 2009 09:38:36 -0700 (PDT)
Dear Members of the Ada Community:
As the new Chair of SIGAda, I'm sending you this call for nominations
for the SIGAda Outstanding Ada Community Contribution Award and the
ACM SIGAda Distinguished Service Award. Nominations are due on
September 28th to SIGAda-Award@LISTSERV.ACM.ORG.
On Thursday, Nov 5th, these SIGAda Awards will be presented in a
special morning plenary session at the SIGAda 2009 conference in
Tampa, Florida (See http://www.sigada.org/conf/sigada2009/).
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.acm.org/sigada/exec/awards/awards.html#Recipients
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 vice versa. Nominate him or her!
The nomination form is available on the SIGAda website at
http://www.acm.org/sigada/exec/awards/awards.html . You need to visit
this website to see past award winners' names, so you don't nominate
someone who has already won an award in a category. A picture of the
statuette used for the award is also on this site. Submit your
nomination as an e-mail or e-mail attachment to SIGAda-
AWARD@LISTSERV.ACM.ORG.
The ACM SIGAda Awards Committee, composed 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 September 28th.
Your participation in the nominations process will help maintain the
prestige and honor of these awards.
Thank you,
Ricky E. Sward
Chair, ACM SIGAda
---------------------------------------------------
Ricky E. "Ranger" Sward, PhD
Lead Information Systems Engineer
The MITRE Corporation
O: 719-572-8263 C: 719-661-6895
rsward@mitre.org
---------------------------------------------------
Date: Mon, 3 Aug 2009 06:42:51 -0400
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for August 2009:
Don't forget about our annual SIGAda conference:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Tampa Bay, Florida, USA
1-5 November 2009
http://www.acm.org/sigada/conf/sigada2009/
[ 79 lines deleted; see updated version above -- dc ]
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o Principles of Distributed Computing (PODC 2009)
Calgary, Alberta, Canada
10-12 August 2009
http://www.podc.org/podc2009/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Thu, 2 Jul 2009 07:04:37 -0400
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for July 2009:
Don't forget about our annual SIGAda conference:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Tampa Bay, Florida, USA
1-5 November 2009
http://www.acm.org/sigada/conf/sigada2009/
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 domains of application. 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, secure software.
We are soliciting technical papers and experience reports with a focus
on, or comparison with, Ada.
The conference is especially interested in experience in integrating
these concepts into the instructional process at all levels.
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.
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 works 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.
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, 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 presenters 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). Tutorial presenters receive
complimentary registration to the other tutorials and the conference.
Technical Articles, Extended Abstracts, Experience Reports, and Panel
Session Proposals: Program Chair, Lt. Col. Jeff Boleng (Jeff.Boleng@usafa.edu)
Workshop Proposals: Workshops Chair, Bill Thomas (BThomas@mitre.org)
Tutorial Proposals: Tutorials Chair, Richard Riehle (RDRiehle@nps.edu )
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 Alok Srivastava
(Alok.Srivastava@auatac.com) for information about becoming a sponsor
and/or exhibitor at SIGAda 2009.
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 your questions on the conference to the
Conference Chair, Greg Gicca (gicca@adacore.com) or Local Arrangements
Chair Currie Colket (colket@acm.org).
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o ITiCSE (Innovation and Technology in Computer Science Education) 2009
Université Pierre et Marie Curie
Paris, France
3-8 July 2009
http://iticse09.lrde.org/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Mon, 15 Jun 2009 08:14:26 -0400
From: Greg Gicca <gicca@adacore.com>
To: ecoop-info@ecoop.org
Subject: [ecoop-info] SIGAda 2009
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
From: Michael Feldman <mfeldman@gwu.edu> Newsgroups: comp.lang.ada Subject: REMINDER: June 30, 2009 Submission Deadlne for SIGAda 2009 Conference Date: Fri, 12 Jun 2009 13:32:47 -0700 Hello, This is a brief and gentle reminder of the approaching submission deadline -- June 30, 2009 -- for technical contributions to SIGAda 2009 ACM Annual International Conference on Ada and Related Technologies: Engineering Safe, Secure, and Reliable Software This conference will take place Nov. 1-5, 2009, in St. Petersburg, Florida (Tampa Bay area), at the Hilton St. Petersburg Bayfront hotel. We're soliciting 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. We are especially interested in experience in integrating these concepts into the instructional process at all levels. Please visit the conference website at http://sigada.org/conf/sigada2009 for further details. Thank you very much for your time, and thank you in advance for your contribution! Yours truly, Prof. Michael B. Feldman Publicity Chair, SIGAda 2009
Date: Mon, 4 May 2009 06:39:59 -0400
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for May 2009:
Don't forget about our annual SIGAda conference:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Tampa Bay, Florida, USA
1-5 November 2009
http://www.acm.org/sigada/conf/sigada2009/
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 domains of application. 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, secure software.
We are soliciting technical papers and experience reports with a focus
on, or comparison with, Ada.
The conference is especially interested in experience in integrating
these concepts into the instructional process at all levels.
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.
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.
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, 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). Tutorial presenters receive
complimentary registration to the other tutorials and the conference.
******* Submission Deadline is June 30, 2009 *******
Technical Articles, Extended Abstracts, Experience Reports, and Panel
Session Proposals: Program Chair, Lt. Col. Jeff Boleng (Jeff.Boleng@usafa.edu)
Workshop Proposals: Workshops Chair, Bill Thomas (BThomas@mitre.org)
Tutorial Proposals: Tutorials Chair, Richard Riehle (RDRiehle@nps.edu )
******* Submission Deadline is June 30, 2009 *******
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 Alok Srivastava
(Alok.Srivastava@auatac.com) for information about becoming a sponsor
and/or exhibitor at SIGAda 2009.
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 your questions on the conference to the
Conference Chair, Greg Gicca (gicca@adacore.com) or Local Arrangements
Chair Currie Colket (colket@acm.org).
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o DASIA (DAta Systems In Aerospace) 2009
Istanbul, Turkey
26-29 May 2009
http://www.eurospace.org/
o Ada-Europe 2009
14th International Conference on Reliable Software Technologies
Brest, France
8-12 June 2009
http://www.ada-europe.org/conference2009.html
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Fri, 3 Apr 2009 06:51:34 -0400
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for April 2009:
Don't forget about our annual SIGAda conference:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Tampa Bay, Florida, USA
1-5 November 2009
http://www.acm.org/sigada/conf/sigada2009/
[ 105 lines deleted; see updated version above -- dc ]
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o 21st Annual Systems & Software Technology Conference (SSTC 2009)
Salt Lake City, Utah, USA
20-23 April 2009
http://www.sstc-online.org/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Mon, 2 Feb 2009 06:50:37 -0500
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for February 2009:
Don't forget about our annual SIGAda conference:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Tampa Bay, Florida, USA
1-5 November 2009
http://www.acm.org/sigada/conf/sigada2009/
[ 93 lines deleted; see updated version above -- dc ]
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o Free and Open Source Software Developers' European Meeting (FOSDEM'09)
Brussels, Belgium
7-8 February 2009
http://www.fosdem.org/2009/
o ACM Technical Symposium on Computer Science Education (SIGCSE 2009)
Chattanooga, Tennessee, USA
4-7 March 2009
http://www.cs.arizona.edu/groups/sigcse09/
o Ada Conference UK 2009
Church House Conference Centre, Westminster
London, UK
24 March 2009
http://www.ada-uk-conference.co.uk/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Wed, 28 Jan 2009 17:05:58 -0800 From: Michael Feldman <mfeldman@GWU.EDU> Subject: Call for Technical Contributions -- SIGAda 2009 To: TEAM-ADA@LISTSERV.ACM.ORG Call for Technical Contributions -- SIGAda 2009 ACM Annual International Conference on Ada and Related Technologies: Engineering Safe, Secure, and Reliable Software Hilton St. Petersburg Bayfront Hotel Tampa Bay, Florida USA November 1-5, 2009 Submission Deadline: June 30, 2009 Sponsored by ACM SIGAda in cooperation with SIGCAS, SIGCSE, SIGPLAN, Ada-Europe, and Ada Resource Association http://www.acm DOT org/sigada/conf/sigada2009 * * * * * * * * * * 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 domains of application. 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, secure software. We are soliciting technical papers and experience reports with a focus on, or comparison with, Ada. We are especially interested in experience in integrating these concepts into the instructional process at all levels. POSSIBLE TOPICS INCLUDE BUT ARE NOT LIMITED TO: * Transitioning to Ada 2005 * Challenges for developing reliable, safe, secure software * Ada and SPARK in the classroom and student laboratory * Language selection for highly reliable systems * Mixed-language development * Use of high reliability subsets or profiles such as MISRA C, Ravenscar, SPARK * High-reliability standards and their issues * Software process and quality metrics * System of Systems * Real-time networking/quality of service guarantees * Analysis, testing, and validation * Use of ASIS for new Ada tool development * High-reliability development experience reports * Static and dynamic analysis of code * Integrating COTS software components * System Architecture & Design * Information Assurance * Ada products certified against Common Criteria / Common Evaluation Methodology * Distributed systems * Use of new Ada 2005 features/capabilities * Fault tolerance and recovery * Performance analysis * * * * * * * * * * 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. 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. 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, 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). Tutorial presenters receive complimentary registration to the other tutorials and the conference. * * * * * * * * * * HOW TO SUBMIT: Send contributions by June 30, 2009, in Word, PDF, or text format as follows: Technical Articles, Extended Abstracts, Experience Reports, and Panel Session Proposals: Program Chair, Lt. Col. Jeff Boleng (Jeff.Boleng AT usafa DOT edu) Workshop Proposals: Workshops Chair, Bill Thomas (BThomas AT mitre DOT org) Tutorial Proposals: Tutorials Chair, Richard Riehle (RDRiehle AT nps DOT 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 AT gwu DOT 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 Alok Srivastava (Alok.Srivastava AT auatac DOT com) for information about becoming a sponsor and/or exhibitor AT SIGAda 2009. 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 your questions on the conference to the Conference Chair, Greg Gicca (gicca AT adacore DOT com) or Local Arrangements Chair Currie Colket (colket AT acm DOT org).
Date: Fri, 2 Jan 2009 07:57:48 -0500 From: SIGAda Webmaster <roby@IDA.ORG> Subject: Monthly Reminder for SIGAda To: <SIGADA-ANNOUNCE@LISTSERV.ACM.ORG> Message for January 2009: Don't forget about our annual SIGAda conference: [ 101 lines deleted; see updated version above -- dc ] ---------------------------------------------------------------------- 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
Date: Tue, 4 Nov 2008 09:09:32 -0500
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for November 2008:
Don't forget about our annual SIGAda conference:
o SIGAda 2009
Tampa Bay area, Florida, USA
1-5 November 2009
http://www.acm.org/sigada/conf/sigada2009/
Don't forget about other upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
and other relatively general conferences where Ada might be:
o International Joint Conferences on Computer, Information, and Systems
Sciences, and Engineering (CISSE 2008)
University of Bridgeport
Bridgeport, CT 06604, USA
5-13 December 2008
http://www.cisse2008online.org/
o [21st] International Conference on Software & Systems Engineering and
their Applications (ICSSEA 2008)
[ Paris, France
9-11 December 2008
http://www.iproms.org/icssea-2008
-- dc ]
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
The ACM SIGAda'2009 Conference will be held in the Tampa Bay area, Florida, USA. The tentative date of the event is from Sunday November 1 until Thursday November 5, 2009.
A preliminary version of the SIGAda'2009 Conference web site is already available.
ACM SIGAda Extended Executive Committee Meeting
Portland, Oregon, USA, Mon Oct 27, 2008
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2009/10/09.
Dirk Craeynest