![[SIGAda conference logo]](/~dirk/.image/sigadaconf.jpg)
From: Stephen Leake <stephen_leake@acm.org> Newsgroups: comp.lang.ada Subject: Re: SIGada Conference Date: 15 Dec 2003 19:29:39 -0500 > Anyone care to post a summary of what went on at this conference. > > Anything interesting ??? The most interesting thing was that there are several companies making money using Ada, and they are all growing :). I've been more inspired to look into using SPARK to write solid code. The Ada 200Y features sound fun, too; aggregates for limited types, a solution for mutually recursive types, Java-style interfaces, no more silent overloading when overriding was meant. If you subscribe to Ada Letters, the proceedings should appear in a few months :). -- -- Stephe
Date: Wed, 19 Nov 2003 08:11:41 -0700
From: Sward Ricky E LtCol USAFA/DFCS <Ricky.Sward@USAFA.AF.MIL>
Subject: SIGAda 2003 Early Registration deadline extended
To: SIGADA-ANNOUNCE@ACM.ORG
Early Registration Deadline Extended!
Conference Announcement - SIGAda 2003
7-11 December 2003, San Diego, California, USA
Sponsored by ACM SIGAda
Due to earlier problems with the online registration system, the SIGAda 2003
conference early registration deadline has been extended to Nov 30! If you
are interested in registering for the SIGAda 2003 Conference at the reduced,
early registration rates, you should do so as soon as possible. :-)
Please note that there has been a significant change in the tutorial
schedule. Alfred Sorkowitz is unable to attend and his tutorial "Improved
Software Testing with the use of Metrics" scheduled for the full day on
Sunday 7 Dec has been cancelled. As a replacement, Rod Chapman will be
presenting a tutorial entitled "Spark and 'Intensive Overview'"
during the full day tutorial session on Sunday. The abstract, outline, and
registration instructions are included below.
You can access the evolving program and online registration system from the
conference web site:
http://www.acm.org/sigada/conf/sigada2003/
Please let me know if you have any questions.
Cheers,
Ricky E. Sward
SIGAda 2003 Program Chair
Registration Instructions for Rod Chapman's full day Sunday tutorial:
If you wish to register for SF4 before it is formally added to the on-line
registration system, please enter a note into the box in Step 1 of the
registration process labeled:
"Please specify any Special Needs (meals, accessibility, etc.):"
The note should say that you want SF4 rather than SF2.
When you get to the Tutorial Selection Page, please select SF2.
We will adjust your record accordingly.
Abstract of Tutorial:
SPARK is an annotated sub-language of Ada which is unambiguous and suitable
for rigorous static analysis. The tutorial, which is extracted from the
four-day "Software Engineering with SPARK" course will provide an intensive
introduction to SPARK and the static analysis performed by the SPARK
Examiner. The tutorial is intended primarily for those with current or
recent experience of software development in Ada, especially those who will
work on or lead safety critical or other high integrity developments.
Attendees will be encouraged to bring laptop computers on which the SPARK
Examiner will be installed.
Outline of Tutorial:
1. The rationale of SPARK (45 minutes)
* major design objectives
* relationship with Ada
* why annotations?
* tool support
2. The core SPARK language (90 minutes)
* types
* expressions
* statements
* subprograms
* packages
3. Data and information flow analysis (60 minutes including practical)
Lunch Break
4. Design building blocks (45 minutes)
* abstract state machines
* abstract data types
* interfacing with the environment
5. SPARK and program design (45 minutes)
6. Formal verification (40 minutes)
7. Exception freedom (40 minutes)
8. Effective SPARK use (25 minutes)
* project organization
From: Currie Colket <colket@mitre.org>
Newsgroups: comp.lang.ada
Subject: SIGAda 2003 Conference Approaching
Date: Tue, 11 Nov 2003 16:14:58 -0500
Organization: The MITRE Corporation
To: Ricky Sward <ricky.sward@usafa.af.mil>
Conference Announcement - SIGAda 2003
7-11 December 2003, San Diego, California, USA
Sponsored by ACM SIGAda
The SIGAda 2003 conference early registration deadline of Nov 15 is approaching
rapidly! If you are interested in registering for the SIGAda 2003 Conference at
the reduced, early registration rates, you should do so as soon as possible. :-)
The conference rates for the hotel are also about to expire on Nov 15. If you
are interested in registering at these conference hotel rates you should do so
as soon as possible.
Our online registration system is up and operational and you can access it from
the conference web site:
http://www.acm.org/sigada/conf/sigada2003/
Please let me know if you have any questions.
Cheers,
Ricky E. Sward
SIGAda 2003 Program Chair
From: Currie Colket <colket@mitre.org>
Newsgroups: comp.lang.ada
Subject: Invitation to Nominate Candidates for SIGAda Awards;
Nominations Due 16 November 2003
Date: Tue, 04 Nov 2003 14:48:17 -0500
Organization: The MITRE Corporation
Dear Members of comp.lang.ada:
On Wednesday, December 10, 2003, the 2003 SIGAda Awards will be presented in a
special morning plenary session at the SIGAda 2003 conference in San Diego,
California. (See http://www.acm.org/sigada/conf/sigada2003/ 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 impactful
contributions to the advance of Ada technology, or visa versa. Nominate him or
her!
The nomination form is at the end of this message and 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.)
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 NOVEMBER 16!
Your participation in the nominations process will help maintain the prestige
and honor of these awards.
Thank you,
Currie Colket
Chair ACM SIGAda
Please send the following to: SIGAda-Awards@ACM.ORG by 16 November 2003.
=================snip * snip * snip ===================
2003 SIGAda AWARDS NOMINATION FORM
Name of Nominee: ___________________________________
Name/Address of Nominee's Employer (if known): ______________________________
______________________________
Category of Nomination: (mark one or both)
__X__ Outstanding Ada Community Contribution
for outstanding Ada community accomplishments
__X__ ACM SIGAda Distinguished Service Award
for Distinguished Service as a SIGAda Volunteer or Leader
Accomplishments supporting this nomination:
[Note: Please be thorough in your description, since the awards
committee will use these narratives as the primary basis for selection.]
Affiliation(s) and position at time of accomplishments (if known):
____________________________________________________________________
-----------------------------------------------------------------------------
Name of member submitting nomination: __________________________________
Address/Phone/E-mail of member submitting nomination: __________________
Please send completed nomination forms by 16 November 2003 to
SIGAda-Awards@ACM.ORG
=================END OF SIGAda AWARDS NOMINATION FORM===================
From: Sward Ricky E LtCol USAFA/DFCS <Ricky.Sward@USAFA.AF.MIL> To: SIGADA-ANNOUNCE@ACM.ORG Subject: SIGAda 2003 Conference Announcement Date: Wed, 22 Oct 2003 08:07:15 -0600 Conference Announcement - SIGAda 2003 7-11 December 2003, San Diego, California, USA Sponsored by ACM SIGAda The SIGAda 2003 conference offers a top-quality technical program focused on important strengths of the Ada programming language. Three days of technical papers, keynotes, and invited presentations will report on how Ada is achieving success in the challenging realm of software engineering. We are fortunate to have four leaders in the software engineering community; Ben Brosgol, Joyce Tokar, David A. Wheeler, and Steve Grimaldi (tentative) will provide keynote addresses to set the tone for our conference. We are also fortunate to have Jim Moore, Tullio Vardanega, and Pascal Leroy provide a special discussion of the work of the ISO/IEC JTC1/SC22 WG9 on Wednesday afternoon. The WG9 Forum will give you an opportunity to find out how Ada will evolve to meet our future requirements and at the same time give you an opportunity to provide input to its future. Beyond the formal conference of selected papers and presentations, SIGAda 2003 offers workshops and tutorials with the same duality of on-theme and complementary topics. SIGAda's tutorials and workshops provide full- or half-days for those working the same issues to share with each other and leverage everyone's accomplishments; workshop products are "delivered" to the community. The broad offerings of career-enhancing tutorials include basic Ada 95 introductions for software engineers new to Ada, intermediate and advanced Ada topics for practitioners striving to expand their Ada expertise, and several language-independent technology topics. Join us in understanding how these topics mutually support the disciplined development and evolution of serious, high quality software systems. For more information on the conference schedule, registration options, and hotel information visit the SIGAda 2003 web site at the following link. <http://www.acm.org/sigada/conf/sigada2003/> Please feel free to contact me with any further questions. Ricky E. Sward SIGAda 2003 Program Chair
From: "Jean-Pierre Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Ada Advocacy - WPG (Web Page Generation) scheme
Date: Wed, 8 Oct 2003 09:18:35 +0200
Organization: Adalog
[...] Time for a plug:
I will be presenting a paper at SIGAda 2003 about a typical
AWS/mySQL/GtkAda application (and the design patterns that were used).
So if you are interested REGISTER EARLY AND SAVE ! :-)
In the whole application, there is NO script. And this includes quite
sophisticated GUI. Note that nothing prevents you from including
Javascript in your templates. I just didn't need it.
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
Date: Thu, 2 Oct 2003 07:42:10 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@ACM.ORG
Message for October 2003:
Don't forget about our upcoming Ada-related conferences:
o SIGAda 2003
San Diego, California USA
7-11 December 2003
http://www.acm.org/sigada/conf/sigada2003/
o Ada-Europe 2004
Palma de Mallorca, Spain
14-18 June 2004
http://www.ada-europe.org/conference2004.html
and:
o 2nd European Congress ERTS (Embedded Real Time Software)
Toulouse, France
21-23 January 2004
http://www.see.asso.fr/htdocs/main.php/futures.php/216/
o Software Technology Conference (STC 2004)
Salt Lake City, Utah USA
19-22 April 2004
http://www.stc-online.org/
o DASIA (DAta Systems in Aerospace) 2004
Istanbul, Turkey
24-27 May 2004
http://www.eurospace.org/
[...]
Clyde Roby, SIGAda Secretary
Date: Fri, 1 Aug 2003 07:49:02 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@ACM.ORG
Message for August 2003:
Don't forget about our upcoming Ada-related conferences:
o International Real-Time Ada Workshop
Pousada Monte de Sta. Luzia, Viana do Castelo, Portugal
15-19 September 2003
http://www.hurray.isep.ipp.pt/irtaw2003/
o [ duplicates removed; see above -- dc ]
and:
o Embedded Systems Conference
Boston, Massachusettes, USA
15-18 September 2003
http://esconline.com/boston/
o [ duplicates removed; see above -- dc ]
Our "In Cooperation With" SIGs have the following conferences:
o Special Interest Group on Programming Languages (SIGPLAN)
OOPSLA'03 - Object Oriented Programming Systems Languages
and Applications Conference
Anaheim, California, USA
26-30 October 2003
http://oopsla.acm.org/oopsla2003/
[...]
Clyde Roby, SIGAda Secretary
Date: Thu, 10 Jul 2003 17:49:05 -0400
From: Currie Colket <colket@MITRE.ORG>
Organization: The MITRE Corporation
Subject: Deadline Approaching for SIGAda 2003
To: SIGADA-ANNOUNCE@ACM.ORG
Dear SIGAda Members:
SIGAda 2003 is scheduled from 7-11 December 2003 in San Diego, California.
Besides serving as an excellent technical conference, which should be of value
to you and your organization, San Diego is a wonderful place to visit in
December.
There are three things you should think about right now:
First, the Call For Participation (CFP) has a deadline for papers for 11 July
2003. According to my calendar, that is tomorrow. If you are even thinking about
a paper and have not done so yet, please get on the horn and contact Lt. Col.
Ricky Sward at the Air Force Academy. He is the SIGAda 2003 Program Chair. He
can be reached by email at ricky.sward@usafa.af.mil or phone at +1 (719)
333-7664. The CFP can be found at the conference Home Page at:
http://www.acm.org/sigada/conf/sigada2003/
Second, this is a good time to start planning to go to the conference. Some
organizations require folks to identify conferences in their professional
development plan if there is ever hope for approval. If yours is one that does,
you should identify SIGAda 2003 as one of the professional development
activities. This might provide the additional leverage needed to obtain funds
for going to the conference.
Third, you should put the dates on your calendar to block it out. This will help
you from committing the dates to activities of lesser importance such as real
work or your fiancée's wedding.
If you have any questions, please contact either Robert Leif, the Conference
Chair, at +1 (619) 582-0437 or by email at <RLeif@RLeif.Com> or myself at +1
(703) 883-7381 or by email at colket@acm.org.
I look forward to seeing you at SIGAda 2003!!!!
Currie Colket
Chair ACM SIGAda
From: ricky.sward@ix.netcom.com (Ricky E. Sward) Newsgroups: comp.lang.ada Subject: SIGAda 2003 Submission Deadline Extended Date: 12 Jun 2003 21:43:35 -0700 Submission Deadline Extended to July 11, 2003! Call for Participation - SIGAda 2003 7-11 December 2003, San Diego, California, USA Sponsored by ACM SIGAda (Approval pending by ACM) Constructing highly reliable software is an engineering challenge that can now be met in many domains. The application of software engineering methods, tools, and languages interrelate to make the challenge easier or more difficult. This conference focuses on the interaction between these three aspects of software engineering, especially how features in Ada have and will permit the development of the tools and methods that result in correctness, reliability, and quality of the resulting software. Especially welcome are papers that analyze Ada with respect to these factors or in comparison with other languages. This conference will gather industrial experts, educators, software engineers, and researchers interested in developing, analyzing, and certifying reliable, cost-effective software. Technical or theoretical papers as well as experience reports with a focus on Ada are solicited. See the SIGAda 2003 Home Page for the complete, printable Call for Participation: http://www.acm.org/sigada/conf/sigada2003 Deadline for all submissions: Deadline extended to 11 July 2003 Please submit questions on the conference to the Conference Chair, Robert C. Leif rleif@rleif.com or the Program Chair, Ricky E. Sward rsward@usafa.edu.
Date: Mon, 2 Jun 2003 06:34:15 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@ACM.ORG
Message for June 2003:
Don't forget about our upcoming Ada-related conferences:
o SIGAda 2003
San Diego, California USA
7-11 December 2003
http://www.acm.org/sigada/conf/sigada2003/
o Ada-Europe 2003
Toulouse, France
16-20 June 2003
http://www.ada-europe.org/conference2003.html
o International Real-Time Ada Workshop
Pousada Monte de Sta. Luzia, Viana do Castelo, Portugal
15-19 September 2003
http://www.hurray.isep.ipp.pt/irtaw2003/
[...]
Clyde Roby, SIGAda Secretary
To: announce@adaic.com Date: Wed, 28 May 2003 10:30:44 -0400 (EDT) From: abrandon@sover.net Subject: [AdaIC] Ada News Updates: Conventions, revised book The Ada community will meeting at some conventions in the near and not-so-near future. The Eighth International Conference on Reliable Software Technologies, otherwise known as Ada Europe, will be held in Toulouse, France, June 16-20. SIGAda 2003 is slotted for Dec. 7-11 in San Diego, Calif. The ACM's Special Interest Group on Ada has issued a call for participation and papers. [...] Please visit http://www.adaic.org/ for more information about the above. As they say in Toulouse, A+, Ann Brandon AdaIC Editorial Webmaster ann@onyons.com
From: ricky.sward@ix.netcom.com (Ricky E. Sward) Newsgroups: comp.lang.ada Subject: SIGAda'2003 Submission deadline approaching Date: 20 May 2003 20:35:08 -0700 Call for Participation - SIGAda 2003 7-11 December 2003, San Diego, California, USA Sponsored by ACM SIGAda Constructing highly reliable software is an engineering challenge that can now be met in many domains. The application of software engineering methods, tools, and languages interrelate to make the challenge easier or more difficult. This conference focuses on the interaction between these three aspects of software engineering, especially how features in Ada have and will permit the development of the tools and methods that result in correctness, reliability, and quality of the resulting software. Especially welcome are papers that analyze Ada with respect to these factors or in comparison with other languages. This conference will gather industrial experts, educators, software engineers, and researchers interested in developing, analyzing, and certifying reliable, cost-effective software. Technical or theoretical papers as well as experience reports with a focus on Ada are solicited. See the SIGAda 2003 Home Page for the complete, printable Call for Participation: http://www.acm.org/sigada/conf/sigada2003 Deadline for all submissions: 8 June 2003 Please submit questions on the conference to the Conference Chair, Robert C. Leif rleif@rleif.com or the Program Chair, Ricky E. Sward rsward@usafa.edu.
Date: Mon, 14 Apr 2003 15:05:16 -0600 From: Sward Ricky E Lt Col USAFA/DFCS <Ricky.Sward@USAFA.AF.MIL> Subject: SIGAda 2003 CFP To: TEAM-ADA@ACM.ORG [ 27 lines deleted; see updated version above -- dc ]
Date: Mon, 3 Feb 2003 13:03:58 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@ACM.ORG
Message for February 2003:
Don't forget about our upcoming Ada-related conferences:
o SIGAda 2003
San Diego, California USA
7-11 December 2003
http://www.acm.org/sigada/conf/sigada2003/
o Ada-Europe 2003
Toulouse, France
16-20 June 2003
http://www.ada-europe.org/conference2003.html
[...]
Our "In Cooperation With" SIGs have the following conferences:
o Special Interest Group on Programming Languages (SIGPLAN)
30th Annual ACM SIGPLAN - SIGACT
Symposium on Principles of Programming Languages (POPL)
New Orleans, Louisiana, USA
15-17 January 2003
http://www.cs.berkeley.edu/~aiken/popl03/
o Special Interest Group on Computer Science Education (SIGCSE)
34th Technical Symposium on Computer Science Education -- SIGCSE 2003
Reno, Nevada, USA
19-23 February 2003
http://www.csis.gvsu.edu/sigcse2003/
o Special Interest Group on Applied Computing (SIGAPP)
Symposium on Applied Computing -- SAC 2003
Melbourne, Florida, USA
9-12 March 2003
http://www.acm.org/conferences/sac/sac2003/
o Special Interest Group on Software Engineering (SIGSoft)
International Conference on Software Engineering -- ICSE 2003
Portland, Oregon, USA
3-10 May 2003
http://cs.oregonstate.edu/icse2003/
[...]
Clyde Roby, SIGAda Secretary
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2004/01/08.
Dirk Craeynest