![[SIGAda conference logo]](/~dirk/.image/sigadaconf.jpg)
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Material for the HR-OO workshop at SIGAda
Date: Fri, 15 Oct 2010 12:25:35 +0200
Organization: Adalog
I have made a page in preparation for the High-Reliability Object
Oriented Ada workshop at SIGAda:
http://www.adalog.fr/hr-oo-workshop/
If you plan to attend, there is no requirement to send a formal position
paper, but it would be nice if you could send your views in advance as a
proposal, as explained in the above page.
If you don't plan to attend, you are also welcome to send proposals and
good ideas!
See you in Fairfax,
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Adalog a déménagé / Adalog has moved:
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
From: Michael Feldman <mfeldman@gwu.edu> Newsgroups: comp.lang.ada Subject: SIGAda 2010 -- deadline approaching for early conference and hotel rates -- act soon! Date: Mon, 04 Oct 2010 13:06:23 -0700 Hello all, As the SIGAda 2010 registration chair, I'm writing with a gentle reminder that the deadline for early fees at the conference is SATURDAY, OCT. 16, and that the deadline for special room rates at the Hyatt Fair Lakes is THIS COMING SATURDAY, OCT. 9. The conference is only a few weeks away, Oct. 24-28. Please register for the conference and (if you're coming from out of town) the hotel as soon as possible. Program information, and links to conference and hotel registration can be found on the conference website home page at http://sigada.org/conf/sigada2010 Please feel free to e-mail me (mfeldman@gwu.edu) if you have any questions or concerns. I hope to see you in Fairfax in a few weeks! Yours truly, Michael Feldman SIGAda 2010 Registration Chair
Date: Fri, 1 Oct 2010 11:36:04 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for October 2010:
We hope that you plan to attend our annual SIGAda conference in 2010:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
October 24-28, 2010
Fairfax, Virginia, USA
(suburb of Washington, DC)
http://www.acm.org/sigada/conf/sigada2010/
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.
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 Gicca (Gicca@AdaCore.com) or
Kristen Ferretti (kef@ocsystems.com) for information about becoming a
sponsor and/or exhibitor at SIGAda 2010.
ANY QUESTIONS? Please submit your questions on the conference to the
Conference Chair, Alok Srivastava (Alok.Srivastava@auatac.com) or Local
Arrangements Co-Chairs Florence Gubanc (fgg@ocsystems.com) and Avtar
Dhaliwal (avtar_dhaliwal@gencosystems.com).
----------------------------------------------------------------------
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 2010):
Engineering Safe, Secure, and Reliable Software
Fairfax, Virginia, USA (Suburb of Washington DC, USA)
24-28 October 2010
http://www.sigada.org/conf/sigada2010/
o ACM Technical Symposium on Computer Science Education (SIGCSE 2011)
Dallas, Texas, USA
9-12 March 2011
http://www.sigcse.org/sigcse2011/
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 -- dc ]
o ITiCSE (Innovation and Technology in Computer Science Education) 2011
Darmstadt, Germany
27-29 June 2011
http://www.iticse2011.tu-darmstadt.de/
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
From: Michael Feldman <mfeldman@gwu.edu> Newsgroups: comp.lang.ada,comp.edu,comp.software-eng Subject: SIGAda 2010 Online Registration Is Now Open for Business! Date: Fri, 17 Sep 2010 12:24:58 -0700 Hello, everyone! I apologize if your membership in several lists results in your getting multiple copies of this note. It is my pleasure to invite you to attend SIGAda 2010, which will take place in Fairfax, Virginia (near Washington, DC) from Sunday, Oct. 24 through Thursday, Oct. 28. SIGAda 2010 is ACM's Annual [International] Conference on [Ada and Related Technologies -] Engineering Safe, Secure, and Reliable Software. This year's conference is full of interesting and important tutorials and presentations on this theme. Here are just two examples to whet your appetite: -- Tutorials and papers on real-time software for unmanned systems, both the full-size and model (LEGO) varieties; -- Keynote addresses and panel presentations on safe, secure and reliable software, by experts representing the Federal Aviation Administration, National Security Agency, National Institute of Standards and Technology, Homeland Security, and others; Full program information, online registration, and hotel details can be found at the conference website, http://sigada.org/conf/sigada2010 Note that if you are an educator who is teaching, or planning to teach, the Ada language or more broadly, safe, secure, reliable software, you may be eligible for an Educator Grant which provides a waiver of your conference and tutorial fees. Contact me or see the website for further details. I hope to be seeing you in Fairfax! Yours truly, Michael Feldman Professor Emeritus of Computer Science, The George Washington University Registration Chair, SIGAda 2010
From: John McCormick <mccormick@cs.uni.edu>
Newsgroups: comp.lang.ada
Subject: SIGAda Award nomination deadline approaching
Date: Wed, 8 Sep 2010 06:30:06 -0700 (PDT)
Dear Members of the Ada Community:
On Thursday, 28 October 2010, the 2010 SIGAda Awards will be presented
in a special morning plenary session at the SIGAda 2010 conference in
Fairfax, Virginia. (See http://www.sigada.org/conf/sigada2010/ 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 Monday September 13!
Your participation in the nominations process will help maintain the
prestige and honor of these awards.
Thank you,
John McCormick
Past Chair ACM SIGAda
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Ann: Workshop on OO and Ada in High Integrity Systems
Date: Tue, 07 Sep 2010 16:54:41 +0200
Organization: Adalog
There will be a workshop during SIGAda, whose goal is to define a set of
Ada restrictions that would make using Object Oriented technologies with
Ada more applicable to high integrity systems. The workshop could lead
to the definition of a profile and to a document explaining and
justifying the profile, following the example of the Ravenscar profile
for the concurrency aspects.
All those interested are invited:
- to attend
- and/or send suggestions for possible restrictions (with justification)
to rosen@adalog.fr
The workshop will start with a summary of received proposals, followed
by discussion and (hopefully!) agreement on the content of the profile.
Those who are interested in the topic but are not aware of all the
issues are invited to attend the tutorial on the same topic during the
conference.
More info on http://www.sigada.org/conf/sigada2010/
Please pass the word around, and see you in Fairfax!
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
Date: Mon, 2 Aug 2010 06:41:52 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for August 2010:
We hope that you plan to attend our annual SIGAda conference in 2010:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
October 24-28, 2010
Fairfax, Virginia, USA
(suburb of Washington, DC)
http://www.acm.org/sigada/conf/sigada2010/
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.
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. 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.
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
2010. The authors of selected presentations shall prepare a final short
abstract and submit it to the Committee Chair by October 1, 2010,
aiming at a 20-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 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 presenter's 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 Gicca (Gicca@AdaCore.com) or
Kristen Ferretti (kef@ocsystems.com) for information about becoming a
sponsor and/or exhibitor at SIGAda 2010.
ANY QUESTIONS? Please submit your questions on the conference to the
Conference Chair, Alok Srivastava (Alok.Srivastava@auatac.com) or Local
Arrangements Co-Chairs Florence Gubanc (fgg@ocsystems.com) and Avtar
Dhaliwal (avtar_dhaliwal@gencosystems.com).
----------------------------------------------------------------------
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 2010):
Engineering Safe, Secure, and Reliable Software
Fairfax, Virginia, USA (Suburb of Washington DC, USA)
24-28 October 2010
http://www.sigada.org/conf/sigada2010/
o ACM Technical Symposium on Computer Science Education (SIGCSE 2011)
Dallas, Texas, USA
9-12 March 2011
http://www.sigcse.org/sigcse2011/
o Ada-Europe 2011
16th International Conference on Reliable Software Technologies
Edinburgh, UK
20-24 June 2011
[ http://www.ada-europe.org/conference2011 -- dc ]
o ITiCSE (Innovation and Technology in Computer Science Education) 2011
Darmstadt, Germany
27-29 June 2011
http://www.iticse2011.tu-darmstadt.de/
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
From: John McCormick <mccormick@cs.uni.edu> Newsgroups: comp.lang.ada Subject: Nominations for 2010 SIGAda awards Date: Tue, 13 Jul 2010 08:23:43 -0700 (PDT) [ 59 lines deleted; see updated version above -- dc ]
Date: Fri, 2 Jul 2010 06:57:26 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for July 2010:
We hope that you plan to attend our annual SIGAda conference in 2010:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
October 24-28, 2010
Fairfax, Virginia, USA
(suburb of Washington, DC)
http://www.acm.org/sigada/conf/sigada2010/
[ 904 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 [29th ACM SIGACT-SIGOPS Symposium on] Principles of Distributed
Computing (PODC 2010)
Zurich, Switzerland
25-28 July 2010
http://www.podc.org/podc2010/
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda 2010):
Engineering Safe, Secure, and Reliable Software
Fairfax, Virginia, USA (Suburb of Washington DC, USA)
24-28 October 2010
http://www.sigada.org/conf/sigada2010/
o [ duplicates removed; see above -- dc ]
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Newsgroups: comp.lang.ada,comp.edu,comp.software-eng,comp.realtime Subject: REMINDER: approaching deadline (June 25, 2010) for SIGAda 2010 submissions Organization: The George Washington University From: mfeldman@seas.gwu.edu (Michael Feldman) Date: Fri, 11 Jun 2010 14:57:41 -0500 Hello, This is a brief and gentle reminder of the approaching submission deadline -- June 25, 2010 -- for technical contributions to SIGAda 2010 ACM Annual International Conference on Ada and Related Technologies: Engineering Safe, Secure, and Reliable Software This conference will take place October 24-28, 2010 in Fairfax, Virginia (Washington, DC area), at the Hyatt Hotel Fair Lakes. 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/sigada2010 for further details. Please forgive us if you receive several copies of this message because you are on several mailing lists. Thank you very much for your time, and thank you in advance for your contribution! Yours truly, Michael Feldman Professor Emeritus, Dept. of Computer Science The George Washington University, Washington, DC Registration and Publicity Chair, SIGAda 2010
Date: Wed, 2 Jun 2010 06:48:04 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for June 2010:
We hope that you plan to attend our annual SIGAda conference in 2010:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
October 24-28, 2010
Fairfax, Virginia, USA
(suburb of Washington, DC)
http://www.acm.org/sigada/conf/sigada2010/
[ 65 lines deleted; see updated version above -- dc ]
******* Submission Deadline is June 25, 2010 *******
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, Robert Pettit (RPettit@gmu.edu)
Industrial Presentations Proposals: Industrial Committee Chair, Prof.
Liz Adams (adamses@cs.jmu.edu)
******* Submission Deadline is June 25, 2010 *******
[ 24 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 DASIA (DAta Systems In Aerospace) 2010
Intercontinental Hotel
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
Ankara, Turkey
26-30 June 2010
http://iticse2010.bilkent.edu.tr/
o [ duplicates removed; see above -- dc ]
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda 2010):
Engineering Safe, Secure, and Reliable Software
Fairfax, Virginia, USA (Suburb of Washington DC, USA)
24-28 October 2010
http://www.sigada.org/conf/sigada2010/
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Date: Fri, 2 Apr 2010 06:22:54 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: SIGAda monthly reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for April 2010:
We hope that you plan to attend our annual SIGAda conference in 2010:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Fairfax, Virginia, USA
October 24-28, 2010
http://www.acm.org/sigada/conf/sigada2010/
[ 104 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 22nd Annual Systems & Software Technology Conference (SSTC 2010)
Salt Lake City, Utah, USA
26-29 April 2010
http://www.sstc-online.org/
o [ duplicates removed; see above -- dc ]
o SIGAda Annual International Conference on Ada and Related Technologies
(SIGAda 2010): Engineering Safe, Secure, and Reliable Software
Fairfax, Virginia, USA (Suburb of Washington DC, USA)
24-28 October 2010
http://www.sigada.org/conf/sigada2010/
[...]
Clyde Roby, SIGAda Secretary
Date: Wed, 3 Feb 2010 17:36:36 -0500 (EST) From: Michael Feldman <mfeldman@gwu.edu> To: seworld@sigsoft.org Subject: [SEWORLD] Call for Technical Contributions -- ACM SIGAda 2010 --------------------------------------------------- Call for Technical Contributions -- ACM SIGAda 2010 --------------------------------------------------- ACM Annual International Conference on Ada and Related Technologies: Engineering Safe, Secure, and Reliable Software Hyatt Fair Lakes Hotel Fairfax, Virginia (USA) (near Washington, DC) October 24-28, 2010 Submission Deadline: June 25, 2010 Sponsored by ACM 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 http://www.acm.org/sigada/conf/sigada2010 * * * * * * * * * * 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, long-lived, 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: * Challenges for developing reliable, safe, secure software * Transitioning to Ada 2005 * 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 conformance to DO-178B and preparing for DO-178C * Software process and quality metrics * System of Systems * Real-time networking/quality of service guarantees * Real-time parallel processing * 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 * Fault tolerance and recovery * Performance analysis * Implementing Service-Oriented Architecture * Embedded Hard Real-Time Systems * * * * * * * * * * 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. 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 1, 2010. The authors of selected presentations shall prepare a final short abstract and submit it to the Committee Chair by October 1, 2010, aiming at a 20-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, 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 25, 2010, 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, Dr. Robert Pettit (RPettit AT gmu DOT edu) Industrial Proposals: Industrial Committee Chair, Prof. Liz Adams (adamses AT cs DOT jmu 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 Greg Gicca (Gicca AT AdaCore DOT com) and Kristen Ferretti (kef AT ocsystems DOT com) for information about becoming a sponsor and/or exhibitor AT SIGAda 2010. 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, Alok Srivastava (alok.srivastava AT auatac DOT com) or Local Arrangements Co-Chairs Avtar Dhaliwal (avtar_dhaliwal AT gencosystems DOT com) and Florence Gubanc (fgg AT ocsystems DOT com). (end)
Date: Tue, 2 Feb 2010 11:35:45 -0500
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for February 2010:
We hope that you plan to attend our annual SIGAda conference in 2010:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Fairfax, Virginia, USA
October 24-28, 2010
http://www.acm.org/sigada/conf/sigada2010/
[ 104 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 ACM Technical Symposium on Computer Science Education (SIGCSE 2010)
Milwaukee, Wisconsin, USA
10-13 March 2010
http://www.sigcse.org/sigcse2010/
o [ duplicates removed; see above -- dc ]
o SIGAda Annual International Conference on Ada and Related Technologies
(SIGAda 2010): Engineering Safe, Secure, and Reliable Software
Fairfax, Virginia, USA (Suburb of Washington DC, USA)
24-28 October 2010
http://www.sigada.org/conf/sigada2010/
[...]
Clyde Roby, SIGAda Secretary
The conference dates have been set for October 24-28th.
The location is Fairfax, VA, a suburb of Washington, DC.
ACM SIGAda, Mon Jan 4, 2010
Date: Wed, 16 Dec 2009 07:04:09 -0500 From: SIGAda Webmaster <roby@IDA.ORG> Subject: Monthly Reminder for SIGAda To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG Message for December 2009: We hope that you plan to attend our annual SIGAda conference in 2010: SIGAda Annual International Conference on Ada and Related Technologies: Engineering Safe, Secure, and Reliable Software Washington DC Metropolitan Area, USA Late October 2010 http://www.acm.org/sigada/conf/sigada2010/ [ 153 lines deleted; see updated version above -- dc ]
Date: Thu, 12 Nov 2009 07:35:34 -0500 From: SIGAda Webmaster <roby@IDA.ORG> Subject: Monthly Reminder for SIGAda To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG Message for November 2009: We hope that you are at our annual SIGAda conference: SIGAda Annual International Conference on Ada and Related Technologies: Engineering Safe, Secure, and Reliable Software Washington DC Metropolitan Area, USA October 24-28 or Novebmer 7-11, 2010 http://www.acm.org/sigada/conf/sigada2010/ [ 150 lines deleted; see updated version above -- dc ]
The ACM SIGAda'2010 Conference will be held in the Washington DC Metropolitan Area, USA. The tentative dates of the event are either from Sunday October 24 until Thursday October 28, 2010, or from Sunday November 7 until Thursday November 11, 2010.
A preliminary version of the SIGAda'2010 Conference web site will be available shortly.
ACM SIGAda Extended Executive Committee Meeting
St. Petersburg, Florida, USA, Mon Nov 2, 2009
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2010/10/15.
Dirk Craeynest