![[SIGAda conference logo]](/~dirk/.image/sigadaconf.jpg)
Newsgroups: comp.lang.ada Subject: SIGAda 2008 Conference Registration Deadlines Fast Approaching! Organization: The George Washington University From: mfeldman@seas.gwu.edu (Michael Feldman) Date: Mon, 29 Sep 2008 19:47:30 -0500 Hello everyone, I just want to take a minute of your time to remind you of the ACM SIGAda 2008 International Conference, which will take place in Portland, Oregon, Oct. 26-30, 2008. The conference program is shaping up to be very interesting, and well worth the time and expense. The deadline to reserve your hotel room at the special $99.00 conference rate is next Monday, Oct. 5, 2008! See the conference details - program, registration, travel, hotel, etc. - at http://sigada.org/conf/sigada2008/ Note that there's still time to apply for an educator grant which will cover your conference and tutorial registration. Thanks for your time; I hope to see you at the conference! Michael Feldman Professor Emeritus of Computer Science The George Washington University Conference Chair, SIGAda 2008
Date: Tue, 2 Sep 2008 06:43:58 -0400
From: SIGAda Webmaster <roby@ida.org>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for September 2008:
Don't forget about our annual SIGAda conference:
o SIGAda 2008
Portland, OR, USA
26-30 October 2008
http://www.acm.org/sigada/conf/sigada2008/
Don't forget about other upcoming Ada-related conferences:
o 21st Annual Systems & Software Technology Conference (SSTC 2009)
Salt Lake City, Utah, USA
20-23 April 2009
http://www.sstc-online.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
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 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 DASIA (DAta Systems In Aerospace) 2009
http://www.eurospace.org/
o ITiCSE (Innovation and Technology in Computer Science Education) 2009
[ Paris, France
3-8 July 2009
http://iticse09.lip6.fr/
-- dc ]
o Principles of Distributed Computing (PODC 2009)
http://www.podc.org/
[...]
Clyde Roby, SIGAda Secretary
From: John McCormick <mccormick@cs.uni.edu>
Newsgroups: comp.lang.ada
Subject: Call for SIGAda Award Nominations
Date: Mon, 18 Aug 2008 10:00:07 -0700 (PDT)
Dear Members of the Ada Community:
On Thursday, 30 October 2008, the 2008 SIGAda Awards will be presented
in a special morning plenary session at the SIGAda 2008 conference in
Portland, Oregon. (See http://www.acm.org/sigada/conf/sigada2008/ 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.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 visa 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, and also a picture of
the statuette which is the award among other things, so you don't
nominate someone who has already won an award in a category.) 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 SEPTEMBER 21!
Your participation in the nominations process will help maintain the
prestige and honor of these awards.
Thank you,
John McCormick
Chair ACM SIGAda
Date: Wed, 2 Jul 2008 06:12:14 -0400
From: SIGAda Webmaster <roby@ida.org>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for July 2008:
Don't forget about our annual SIGAda conference:
o SIGAda 2008
Portland, OR, USA
26-30 October 2008
http://www.acm.org/sigada/conf/sigada2008/
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 Principles of Distributed Computing (PODC 2008)
Toronto, Canada
18-21 August 2008
http://www.podc.org/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Mon, 2 Jun 2008 06:54:27 -0400
From: SIGAda Webmaster <roby@ida.org>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for June 2008:
Don't forget about our annual SIGAda conference:
o SIGAda 2008
Portland, OR, USA
26-30 October 2008
http://www.acm.org/sigada/conf/sigada2008/
Don't forget about other upcoming Ada-related conferences:
[...]
o Ada-Europe 2008
13th International Conference on Reliable Software Technologies
Venice, Italy
16-20 June 2008
http://www.ada-europe.org/conference2008.html
and other relatively general conferences where Ada might be:
[...]
o ITiCSE (Innovation and Technology in Computer Science Education) 2008
Universidad Politécnica de Madrid
Madrid, Spain
30 June to 2 July 2008
http://www.iticse08.fi.upm.es/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
From: Michael Feldman <mfeldman@gwu.edu> Newsgroups: comp.lang.ada Subject: SIGAda 2008 Conference Submission Deadline EXTENDED to May 31, 2008 Date: Fri, 09 May 2008 12:26:01 -0700 Hello everyone, I just want to take a minute of your time to let you know the submission deadline has been extended to May 31 for the ACM SIGAda 2008 International Conference, which will take place in Portland, Oregon, Oct. 26-30, 2008. The Call for Participation is on the web at http://www.acm.org/sigada/conf/sigada2008/ We are soliciting Technical Articles, Extended Abstracts, Experience Reports, Workshops, Panel Sessions, and Tutorials. Contributions from practitioners, researchers, students and faculty are actively solicited. Note that educator grants are available to cover conference and tutorial registration. Thanks for your time; I hope to see you at the conference! Michael Feldman The George Washington University (emeritus) Conference Chair, SIGAda 2008
Date: Fri, 2 May 2008 06:23:12 -0400
From: SIGAda Webmaster <roby@ida.org>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for May 2008:
Don't forget about our annual SIGAda conference:
o SIGAda 2008
Portland, OR, USA
26-30 October 2008
http://www.acm.org/sigada/conf/sigada2008/
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 DASIA (DAta Systems In Aerospace) 2008
Palma de Majorca, Spain
27-30 May 2008
http://www.eurospace.org/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
From: mfeldman@seas.gwu.edu (Michael Feldman)
Newsgroups: comp.lang.ada
Subject: Call for contributions to SIGAda 2008, Portland Oct. 26-30
Date: Tue, 22 Jan 2008 20:41:33 -0000
Organization: The George Washington University
------------------------------------------------------------------------
Practitioners - See below regarding Experience Reports
------------------------------------------------------------------------
SIGAda 2008
===========
Call for Technical Contributions - SIGAda 2008
ACM SIGAda Annual International Conference
Submission Due Date: May 12, 2008
Toward Safe, Secure, Reliable Software
October 26-30, 2008
University Place Hotel and Conference Center
Portland, Oregon, USA
Sponsored by ACM SIGAda, the ACM Special Interest Group on Ada
http://www.acm.org/sigada/conf/sigada2008/
(ACM Approval Pending)
------------------------------------------------------------------------
formatted PDFs, suitable for printout and distribution, are at
(US letter) http://www.sigada.org/conf/sigada2008/CFP-SIGAda2008.pdf
(A4-size) http://www.sigada.org/conf/sigada2008/CFP-SIGAda2008-A4.pdf
------------------------------------------------------------------------
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.
CONFERENCE LOCATION
-------------------
Portland is the attractive, livable "City of Roses" in the Pacific
Northwest. The weather in October is usually cool and often beautiful.
University Place is a modern and reasonably-priced hotel located within
walking distance of the central business district, the lively
riverfront area, and the Portland State University campus.
HOW YOU CAN CONTRIBUTE
----------------------
SIGAda 2008 solicits contributions in six major categories: Technical
Articles, Extended Abstracts, Experience Reports, Workshops, Panel
Sessions, and Tutorials.
Contributions from students and faculty are actively solicited, as are
experience reports from practitioners.
Final acceptance will be contingent on at least one co-author
registering for and presenting the contribution at the Conference.
POSSIBLE TOPICS include but are not limited to:
* Transitioning to Ada 2005
* Educational challenges for developing reliable, safe, secure software
* Ada and SPARK in the classroom and student laboratory
* Language selection for a high reliability system
* Use of high reliability subsets or profiles such as MISRA C, Ravenscar, SPARK
* High reliability standards and their issues
* Software process and quality metrics
* Analysis, testing, and validation
* Use of ASIS for new Ada tool development
* Mixed-language development
* High-reliability development experience reports
* Static analysis of code
* Integrating COTS software components
* System Architecture & Design
* Information Assurance
* Ada products certified against Common Criteria / Common Evaluation Methodology
TECHNICAL ARTICLES present significant results in research, practice,
or education. These papers will be double-blind refereed and published
in the Conference Proceedings and in Ada Letters.
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. Clearly state the
contribution of the work being described, 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 to the design and implementation of applications
such as the following: avionics, aerospace, automobile, command and
control, consumer electronics, process control, transportation, trading
systems, energy, medical systems, simulation, telecommunications, etc.
Such reports will be selected on the basis of the interest of the
experience presented to the community of Ada practitioners. 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
SIGAda 2008 Advance Program. Workshop proposals will be evaluated by
the Program Committee and selected based on their applicability to the
conference and potential for attracting participants. Proposals should
state the problem or issue to be addressed, the coordinator(s), and
criteria for participant selection.
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.
SUBMISSION DEADLINE: May 12, 2008
-------------------
HOW TO SUBMIT:
-------------
Send contributions in Word, PDF, or text format as follows:
Technical Articles, Extended Abstracts, Experience Reports, and Panel
Session Proposals: Program Chair, Leemon C. Baird III (leemon.baird at
usafa.edu).
Workshop proposals: Workshops Chair, Bill Thomas (BThomas at MITRE.org).
Tutorial proposals: Tutorials Chair, David A. Cook (DCook at AEgisTG.Com).
-------------------------------------------------------------------
* 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.
* VENDORS. Please contact S. Ron Oliver (SROliver at CSC.CalPoly.Edu)
for information about participation at SIGAda 2008.
Please submit any questions on the conference to the Conference Chair,
Michael Feldman (mfeldman at gwu.edu).
IMPORTANT VISA INFORMATION FOR NON-US SUBMITTERS
------------------------------------------------
General Visa Information
------------------------
The sites http://www.UnitedStatesVisas.gov and http://travel.state.gov
have information about obtaining a visa for those traveling to the
United States. Both sites have links to websites for U.S. embassies
and consulates worldwide. The embassy and consulate websites have
helpful information about procedures, timelines, communities served,
required documentation, and fees.
Letters from ACM
----------------
International registrants should be particularly aware and careful
about visa requirements, and should plan travel well in advance. All
visa inquiries must be handled by ACM Headquarters. Please send your
request for a letter in support of a visa application to Ashley Cozzi
(acozzi at acm.org), and include your name, mailing address, and fax
number, as well as the name of the conference you are attending.
(Authors of papers/posters should also include the title). Please note
that ACM does not issue formal "letters of invitation" to any of its
conferences.
Date: Wed, 2 Jan 2008 07:20:14 -0500
From: SIGAda Webmaster <roby@ida.org>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for January 2008:
Don't forget about our annual SIGAda conference:
o SIGAda 2008
Portland, OR, USA
26-30 October 2007
http://www.acm.org/sigada/conf/sigada2008/
Don't forget about other upcoming Ada-related conferences:
o 20th Annual Systems & Software Technology Conference (SSTC 2008)
Las Vegas, Nevada, USA
29 April - 2 May 2008
http://www.sstc-online.org/
o [ duplicates removed; see above -- dc ]
and other relatively general conferences where Ada might be:
[...]
o ACM Technical Symposium on Computer Science Education (SIGCSE 2008)
Portland, Oregon, USA
12-15 March 2008
http://www.cs.duke.edu/sigcse08/
o DASIA (DAta Systems In Aerospace) 2008
Palma de Majorca, Spain
27-30 May 2008
http://perso.orange.fr/eurospace/dasia.html
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Mon, 3 Dec 2007 08:49:01 -0500
From: SIGAda Webmaster <roby@ida.org>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for December 2007:
Don't forget about our annual SIGAda conference:
o SIGAda 2008
Portland, OR, USA
26-31 October 2007
http://www.acm.org/sigada/conf/sigada2008/
Don't forget about other upcoming Ada-related conferences:
o Ada Conference UK 2008
http://www.ada-uk-conference.co.uk/
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 2007)
Bridgeport, CT 06604, USA
3-12 December 2007
http://www.cisse2007.org/
o [21st] International Conference on Software & Systems Engineering and
their Applications (ICSSEA 2007)
Paris, France
4-6 December 2007
http://www.icssea2007.org/
o Free and Open Source Software Developers' European Meeting (FOSDEM'08)
Brussels, Belgium
23-24 February 2008
http://www.fosdem.org/2008/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
The ACM SIGAda'2008 Conference will be held in Portland, Oregon, USA. The date of the event is from Sunday October 26 until Thursday October 30, 2008.
A preliminary version of the SIGAda'2008 Conference web site is already available.
ACM SIGAda Extended Executive Committee Meeting
Fairfax, Virginia, USA, Mon Nov 05, 2007
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2008/10/01.
Dirk Craeynest