![[SIGAda conference logo]](/~dirk/.image/sigadaconf.jpg)
From: roby@ida.org (Clyde Roby)
Subject: ACM SIGAda 2002 -- Early Registration Dates Extended
To: Dirk.Craeynest@cs.kuleuven.ac.be (Dirk Craeynest)
Date: Fri, 8 Nov 2002 16:54:37 -0500 (EST)
[...]
**************************************************************************
SIGAda 2002 Annual International Conference
Holiday Inn Houston/NASA, 1300 NASA Road One, Houston TX
http://www.acm.org/sigada/conf/sigada2002
Tutorials Dec.8-9, Conference Dec.10-12
Exhibits Dec.10-11, Workshops Throughout
******* Early Registration Deadline *******
******* Extended to November 23 *******
Keynote Speakers: Robert Dewar (Ada Core Technologies)
Charles McKay (University of Houston)
Michael McEvilley (Decisive Analytics Corporation)
Invited Speaker: Robert Carey (Lawrence Livermore National Laboratory)
SIGAda 2002 Great Values!
* Pay-for-One-Tutorial/Get-Charts-For-All (a SIGAda tradition)
* Free workshops(s) participation with conf. Registration
* Career-enhancing tutorials at affordable rates
* Grants for Students and Educators
* Great hotel across from NASA at a great price ($73)
Check out the convenient Sunday/Monday tutorial schedule:
* Software Engineering Topics: Design Patterns, ...
* Ada Language Topics: Intro to Ada 95, SPARK, CORBA, ...
* IT Security Topics: Intro to the Common Criteria for IT ...
* Embedded/Real-Time Topics: Embedded Ada95, Real-Time Ada95, ...
The conference features a single full track devoted to Ada software
engineering and education topics as well as embedded systems. In
addition, WG9 will conduct workshops to address the five major areas
where enhancements to the Ada Language are projected.
Sponsored by ACM SIGAda, In Cooperation With Ada-Europe and ACM
SIGAPP, SIGCAS, SIGCSE, SIGPLAN, and SIGSOFT.
Conference Chair: Salih Yurttas (Texas A&M Univ), yurttas@cs.tamu.edu
Program Committee Chair: John McCormick (Univ of Northern Iowa)
Exhibits Chair: Ben Brosgol (Ada Core Technologies), brosgol@gnat.com
Visit our website at http://www.acm.org/sigada/conf/sigada2002 for
full technical program, tutorial, & workshop descriptions, the
registration form, hotel info, and other goodies.
*****************************************************************************
** Please note that the title of the paper authored by Peter Amey and **
** Roderick Chapman (Praxis Critical Systems, Ltd) was mistitled in the **
** mailed Advance Program; the correct title is: **
** "Industrial Strength Exception Freedom" **
*****************************************************************************
Date: Mon, 4 Nov 2002 16:14:14 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@ACM.ORG
Message for November 2002:
Don't forget about our upcoming Ada-related conferences:
o Special Interest Group on Ada (SIGAda)
SIGAda 2002
Houston, Texas, USA
8-12 December 2002
http://www.acm.org/sigada/conf/sigada2002
o Ada-Europe 2003
Toulouse, France
16-20 June 2003
http://www.ada-europe.org/conference2003.html or
[...]
Clyde Roby, SIGAda Secretary
From: sigada-awards@ACM.ORG (SIGAda Awards Committee)
Subject: 2002 SIGAda Awards - Call for Nominations (due 11/5)
Date: 15 Oct 2002 16:33:50 +0200
To: SIGAda-Announce@ACM.ORG
To: TEAM-ADA@ACM.ORG
In approximately 2 months, the 2002 SIGAda Awards will be presented in a
special plenary session at the SIGAda 2002 conference in Houston. (See
http://www.acm.org/sigada/conf/sigada2002/ if you have somehow missed
announcements of this year's annual SIGAda international conference.)
Nominations for 2002 SIGAda awards are currently open and will be accepted
until November 8. We welcome nominations of deserving recipients from
anyone in the Ada community. 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 -- including a new
feature for online submissions recently added by SIGAda Secretary Clyde
Roby (also a 2001 SIGAda Award winner!). 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.
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.
Your participation in the nominations process will help maintain the
prestige and honor of these awards.
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! There have been no dual winners in the 8-year history of the
SIGAda Awards Program, and perhaps it's time to change that.
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 5!
Thank you,
Edward Colbert Hal Hart
Co-Chair Co-Chair
ACM SIGAda Awards Committee
=================snip * snip * snip ===================
2002 SIGAda AWARDS NOMINATION FORM
Name of Nominee:
Category of Nomination: (mark one or both)
(1) Outstanding Ada Community Contribution
(2) ACM SIGAda Distinguished Service Award
Name/Address of Nominee's Employer (if known):
Accomplishments supporting this nomination: (attach additional sheets if
necessary) 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 5 Nov 2002 to SIGAda-Awards@ACM.ORG
=================END OF SIGAda AWARDS NOMINATION FORM===================
Date: Wed, 2 Oct 2002 11:49:24 -0400 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@ACM.ORG Message for October 2002: [ 16 lines deleted; see updated version above -- dc ]
Date: Tue, 6 Aug 2002 08:40:38 -0400 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@ACM.ORG [ 17 lines deleted; see updated version above -- dc ]
Date: Mon, 10 Jun 2002 11:20:34 -0400
Sender: ACM SIGAda Announcement List <SIGADA-ANNOUNCE@ACM.ORG>
From: Currie Colket <colket@MITRE.ORG>
Organization: The MITRE Corporation
Subject: Invitation to Participate in SIGAda 2002 at Houston At Clear
Lake, Texas, 8-12 December
To: SIGADA-ANNOUNCE@ACM.ORG
Dear SIGAda Announce:
SIGAda will be conducting its SIGAda 2002 Conference in Houston at Clear
Lake, Texas this December from 8-12 December. Houston has been an
excellent technology-based city and is home to many NASA activities. Our
hotel venue will be right across the street from the NASA/Johnson Space
Center. We are currently working with NASA for a tour of their
facilities as part of our evening activities.
This is an excellent venue for our Ada/software engineering conference.
You are encouraged to submit Technical Articles, Extended Abstracts,
Experience Reports, Workshops, Panel Sessions, Posters, and Tutorials
for the Conference. Technical Articles are Double Blind Referred.
Detailed information to submit is provided in the attached CFP. Please
let your friends and colleagues know about the conference and the
opportunity to participate!
If you are planning to participate, please contact the appropriate
person identified below ASAP since the deadline dates are nearing.
We look forward to seeing you in sunny Texas! This is a beautiful time
to go to Texas as the the weather is extremely pleasing and beaches are
still pleasant. Please find attached the Call For Participation. More
information can be found at the SIGAda 2002 Home Page at:
http://www.acm.org/sigada/conf/sigada2002/
v/r
Currie Colket
Chair ACM SIGAda
++++++++++++++++++++++++++++++++++++++++
Call for Participation - SIGAda 2002
ACM SIGAda Annual International Conference
8-12 December 2002
Houston at Clear Lake, Texas, USA
Sponsored by ACM SIGAda
http://www.acm.org/sigada/conf/sigada2002/
Approval pending by ACM
Constructing reliable software is an engineering challenge. The
application of methods, tools, and languages interrelate to make the
challenge easier or more difficult. This conference focuses on the
interaction among these three aspects of software engineering,
especially how features in a language such as Ada drive the tools,
methods, and ultimately 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 and testing reliable
software. Technical or theoretical papers as well as experience reports
with a focus on Ada are solicited. Possible topics include but are not
limited to:
Reliability needs and styles
Safety and high integrity issues
Use of Ada Distributed Systems Annex
Process and quality metrics
Testing and validation
Standards
Use of ASIS for new Ada tool development
Relationships between Ada and real-time Java
Mixed-language development
Ada in XML environments
Quality Assurance
Ada education
Use of Real-Time CORBA
Real-time networking/quality of service guarantees
Fault tolerance and recovery
Distributed system load balancing
Static and dynamic code analysis
Performance analysis
Debugging complex systems
Integrating COTS software components
System Architecture and Design
Information Assurance
How You Can Contribute
SIGAda 2002 is interested in receiving contributions in seven
categories: Technical Articles, Extended Abstracts, Experience Reports,
Workshops, Panel Sessions, Posters, and Tutorials.
Contributions from students are actively solicited.
Technical Articles present significant results in research, practice, or
education. These papers will be double-blind refereed and published in
the Conference Proceedings. Papers should not exceed 5000 words
(equivalent to approximately 10 pages, typeset 10-point on 16-point
spacing).
Please submit Technical Articles to the Program Chair, John McCormick
(McCormick@cs.uni.edu).
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 competitively reviewed. 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. Please do not exceed 2500 words (equivalent to
approximately 5 pages typeset 10-point on 16-point spacing).
Please submit Extended Abstracts to the Program Chair, John McCormick
(McCormick@cs.uni.edu).
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. You are
invited to 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.
Please submit Experience Reports to the Program Chair, John McCormick
(McCormick@cs.uni.edu).
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 2002 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.
Please submit Workshop proposals to the Program Chair, 5 May 2002
(McCormick@cs.uni.edu).
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.
Please submit Panel Session Proposals to the Program Chair, John
McCormick (McCormick@cs.uni.edu).
Posters provide a different forum for both completed work and work in
progress. Poster proposals should be 1-2 pages in length. We
particularly encourage students to showcase their work as a poster at
SIGAda 2002.
Please submit Poster Proposals to the Program Chair, John McCormick
(McCormick@cs.uni.edu).
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, presenter's expertise, and past performance. 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.
Please submit Tutorial proposals to the Tutorials Chair, David Cook
(david.cook@hill.af.mil).
Best Student Paper Award. $500 plus free conference registration and
lodging will be given to the student author(s) of the paper selected by
the program committee as the best submitted and authored by one or more
students.
Please submit questions on the conference to the Conference Chair, Salih
Yurttas (Yurttas@CS.TAMU.Edu).
Vendors. Please contact Hal Hart (Hal.Hart@ACM.Org) for information
about participation at SIGAda 2002.
Deadline for Tutorial submissions: 13 June 2002
Deadline for other submissions: 13 June 2002
The Program Committee will Include:
Martin Carlisle, USAFA
David Cook, STSC/Shim Enterprises
Ed Falis, Ada Core Technologies
Franco Gasperoni, ACT-Europe
Greg Gicca, Aonix
Dick Hull, Lenoir-Rhyne College
S. Ron Oliver, caress Corporation
Juan A. de la Puente, Universidad Politécnica de Madrid
Pat Rogers, Software Arts & Sciences
Joyce Tokar
Conference Home Page is:
http://www.acm.org/sigada/conf/sigada2002/
Date: Thu, 9 May 2002 08:25:51 -0600 (MDT)
From: John McCormick <mccormic@cs.uni.edu>
To: SEWORLD <seworld@cs.colorado.edu>
Subject: (SEWORLD) Call for Participation, SIGAda 2002 "Building Reliable Software"
SIGAda 2002 Conference "Building Reliable Software"
Houston/Clear Lake, TX 8 - 12 Dec. 2002.
In Cooperation with ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT, and Ada Europe
The SIGAda 2002 Program Committee invites you to submit a
Technical Article
Extended Abstract
Experience Report
Workshop Proposal
Panel Proposal
Poster Proposal
The deadline for submissions is June 3, 2002
Constructing reliable software is an engineering challenge. The
application of 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 a language such as Ada drive the tools, methods, and
ultimately 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 designing, developing, and testing reliable software.
Technical or theoretical papers as well as experience reports with a focus
on Ada are solicited.
For more information on submissions and possible topics, see the SIGAda
2002 web page at
http://www.acm.org/sigada/conf/sigada2002/
John McCormick
Program Committee Chair
Date: Mon, 6 May 2002 08:01:20 -0600 (MDT) From: david harrison <dharrison@acm.org> To: seworld@cs.colorado.edu Subject: (SEWORLD) Announcing SIGAda 2002 ANNOUNCING SIGAda 2002 Location: Houston/Clear Lake, TX 8 - 12 Dec. 2002. In Cooperation with ACM SIGCSE, ACM SIGPLAN, ACM SIGSOFT, and Ada Europe (Approvals pending) The Theme for SIGAda 2002 is "Building Reliable Software". Sponsored by the Association for Computing Machinery (ACM) Special Interest Group (SIG) for Ada (SIGAda), SIGAda 2002 will be the largest US and international conference on developments, issues, and training for software information and production using the Ada programming language. It includes tutorials and presentations on Ada 95 and software engineering and an exhibition showcasing the latest in Ada-related products. Who should attend? Software engineers, scientists, technical managers, students and researchers - those already using Ada and those interested in doing so - come to Tri-Ada to share their questions, insights and experiences. SIGAda 2002 is a meeting place for government, academic and industrial professionals. For more information, see the SIGAda 2002 web page at http://www.acm.org/sigada/conf/sigada2002/
Preliminary Call for Participation – SIGAda 2002
8-12 December 2002, Houston, Texas, USAConstructing reliable software is an engineering challenge. The application of 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 a language such as Ada drive the tools, methods, and ultimately 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 and testing reliable software. Technical or theoretical papers as well as experience reports with a focus on Ada are solicited. Possible topics include but are not limited to:
SIGAda 2002 is interested in receiving contributions in six major
categories. Contributions from students are actively solicited.
Technical Articles present significant results in research,
practice, or education. These papers will be double-blind refereed and
published in the Conference Proceedings. Papers should not exceed 5000
words (equivalent to approximately 10 pages, typeset 10-point on
16-point spacing).
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 competitively
reviewed. 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.
Please do not exceed 2500 words (equivalent to approximately 5 pages
typeset 10-point on 16-point spacing).
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. You are invited to 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.
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 2002 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.
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.
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, presenters expertise, and past performance. 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.
Please submit Technical Articles, Extended Abstracts, Experience Reports, Workshop proposals, and Panel Sessions to the Program Chair, John McCormick <McCormick@cs.uni.edu> and Tutorial proposals to the Tutorials Chair, David Cook <david.cook@hill.af.mil>. Please submit questions on the conference to the Conference Chair, Salih Yurttas <yurttas@cs.tamu.edu>.
Deadline for Tutorial submissions: 6 May 2002; Deadline for other submissions: 3 June 2002
See SIGAda 2002 Home Page for details: http://www.acm.org/sigada/conf/sigada2002
Date: Mon, 4 Feb 2002 08:01:11 -0500 Sender: "ACM SIGADA Ada Semantic Interface Spec. Working Group" <SIGADA-ASIS@ACM.ORG> From: Clyde Roby <roby@ida.org> Subject: ASISWG and Conferences reminder To: SIGADA-ASIS@ACM.ORG Message for February 2002: Don't forget about our upcoming Ada-related conferences: o 11th International Real-Time Applications Workshop (IRTAW 11) 9-12 April 2002, Mont-Tremblant, Quebec, Canada o Ada-Europe'2002 -- 7th International Conference on Reliable Software Technologies: Vienna, Austria, 17-21 June 2002 http://www.ada-europe.org/conference2002.html o SIGAda 2002 -- Houston, Texas, USA 8-12 December 2002 -- http://www.acm.org/sigada/conf/sigada2002 [...]
Date: Fri, 2 Nov 2001 08:01:22 -0500 From: Clyde Roby <roby@ida.org> Subject: ABWG and Conferences reminder To: SIGADA-ABWG@ACM.ORG [ 16 lines deleted; see updated version above -- dc ]
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2002/11/09.
Dirk Craeynest