Conference announcements

[SIGAda conference logo]

Reminder -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Mon, 2 Oct 2006 06:54:05 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for October 2006:

Don't forget about our upcoming Ada-related conferences:

o  SIGAda 2006
   Albuquerque, New Mexico  USA
   12-16 November 2006
      http://www.acm.org/sigada/conf/sigada2006/

o  IRTAW-13 (13th International Real-Time Ada Workshop)
   Woodstock, Vermont, USA
   17-19 April 2007
      http://www.adaresource.org/irtaw13/

o  Systems & Software Technology Conference (SSTC) 2007
   Tampa, Florida, USA
   18-21 June 2007
      http://www.sstc-online.org/

o  Ada-Europe 2007
   Geneva, Switzerland
   25-29 June 2007
      http://www.ada-europe.org/conference2007.html or
      http://adae2007.eig.ch/

and:

o  SIGCSE 2007
   Covington, KY, USA
   7-10 March 2007
      http://www.cs.potsdam.edu/sigcse07/

o  ITiCSE 2007 (Innovation and Technology in Computer Science Education)
   Dundee, Scotland
   25-27 June 2007
      http://iticse2007.computing.dundee.ac.uk/

o  DASIA (DAta Systems In Aerospace) 2007
   Naples, Italy
   29 May to 1 June 2007
      http://perso.orange.fr/eurospace/dasia.html

o  Principles of Distributed Computing (PODC) 2007
   Portland, Oregon, USA
   12-15 August 2007
      http://www.podc.org/

o  ITiCSE (Innovation and Technology in Computer Science Education) 2008
   School of Industrial Engineering, Madrid, Spain
   June 2008

[...]

Clyde Roby, SIGAda Secretary

Call for Participation -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


From: "Ricky E. Sward" <ricky.sward@ix.netcom.com>
Newsgroups: comp.lang.ada
Subject: Call for Participation SIGAda 2006
Date: 18 Sep 2006 12:39:07 -0700

Call for Participation
ACM SIGAda's Annual International Conference
November 12-16, 2006
Albuquerque, New Mexico, USA

Join us this year in Albuquerque, New Mexico from November 12th through
the 16th for the annual SIGAda Conference.  This year's program
includes two and a half days of technical presentations from
researchers, academia and industry.  Topics include the integration of
Ada 2005 into Visual Studios 2005, issues for safety critical and
high-integrity systems, using Ada in introductory Computer Science
courses, etc.  Our conference also includes two days of outstanding
tutorials led by some of the most respected technical leaders in the
industry.  These tutorials range from introductory topics in Ada
programming to advanced topics in the new Ada 2005 standard and .NET
programming.

We have three outstanding keynote speakers this year.

Judith Klein, Lockheed Martin
      - Use of Ada in Lockheed Martin for Air Traffic Management and
        Beyond.
Robert Dewar, AdaCore
      - Ada 2005 & High Integrity Systems.
Tucker Taft, SofCheck
      - Why You Should be Using Ada 2005 now!

Important dates:
Hotel rate deadline:  October 11, 2006
Early registration:   October 15, 2006

You can find more detailed information in the Advance Program on the
conference web site.

Link to Advance Program:
http://www.acm.org/sigada/conf/sigada2006/advance-program.html

SIGAda web site:
http://www.acm.org/sigada/conf/sigada2006/

See you in Albuquerque!

Greg Gicca and Ricky E. Sward
SIGAda Conference Co-Chairs

Call for Participation -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Mon, 11 Sep 2006 17:51:02 -0400
From: "Sward, Rick" <rsward@MITRE.ORG>
Subject: SIGAda 2006
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

[ 41 lines deleted; see updated version above -- dc ]

Call for SIGAda Award Nominations -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


From: "John McCormick" <mccormick@cs.uni.edu>
Newsgroups: comp.lang.ada
Subject: Call for SIGAda Award Nominations
Date: 11 Sep 2006 10:57:53 -0700

Dear Members of the Ada Community:

On Wednesday, 15 November 2006, the 2006 SIGAda Awards will be
presented in a special morning plenary session at the SIGAda 2006
conference in Albuquerque, New Mexico.  (See
http://www.acm.org/sigada/conf/sigada2006/ 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 OCTOBER 15!

Your participation in the nominations process will help maintain the
prestige and honor of these awards.

Thank you,

John McCormick
Chair ACM SIGAda

Reminder -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Tue, 5 Sep 2006 06:11:00 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for September 2006:

[ deleted; see updated version above -- dc ]

Reminder -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Wed, 2 Aug 2006 06:04:46 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for August 2006:

[ deleted; see updated version above -- dc ]

Reminder -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Mon, 3 Jul 2006 06:50:57 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for July 2006:

[ deleted; see updated version above -- dc ]

Reminder -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Fri, 2 Jun 2006 06:58:51 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for June 2006:

Don't forget about our upcoming Ada-related conferences:

o  Systems and Software Technology Conference 2006 (SSTC 2006)
   Salt Lake City, Utah, USA
   1-4 May 2006
      http://www.stc-online.org/

o  Ada-Europe 2006
   Porto, Portugal
   5-9 June 2006
      http://www.ada-europe.org/conference2006.html or
      http://www.hurray.isep.ipp.pt/ae2006/

o  [ duplicates removed; see above -- dc ]

and:

o  DASIA (DAta Systems In Aerospace) 2006
   Berlin, Germany
   22-25 May 2006
      http://www.eurospace.org/

o  ITiCSE (Innovation and Technology in Computer Science Education) 2006
   University of Bologna, Bologna, Italy
   26-28 June 2006
      http://www.iticse06.cs.unibo.it/

o  Principles of Distributed Computing (PODC) 2006
   Denver, Colorado, USA
   23-26 July 2006
      http://www.podc.org/podc2006/

o  [ duplicates removed; see above -- dc ]

[...]

Clyde Roby, SIGAda Secretary

Publicity Material Available -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Some material to help announce the SIGAda'2006 conference is available here in formats suitable for printing:


Call for Contributions -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Mon, 8 May 2006 12:43:48 -0600
From: "Baird, Leemon C III Lt Col USAFA/DFCS"              <Leemon.Baird@USAFA.AF.MIL>
Subject: Call for Participation - SIGAda 2006 - REMINDER: 16 May Submission Deadline
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Call for Participation - SIGAda 2006
Conference on Software Development for Safety,
Security, and High Reliability Systems

November 12-16 2006, Albuquerque, NM, USA
Submission deadline: 16 May 2006

Sponsored by ACM SIGAda
http://www.acm.org/sigada/conf/sigada2006
(Approval pending by ACM)

Constructing highly reliable software is an engineering challenge that
can now be met in many domains.  The SIGAda 2006 conference focuses on
how the application of software engineering methods, tools and languages
interrelate and on how features in Ada affect the quality of the
resulting software.  Papers that analyze Ada with respect to these
factors or in comparison to other languages are especially welcome.
SIGAda 2006 gathers industry 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.  A brief
list of topics include safety and high integrity issues, real-time and
embedded applications, Ada & software engineering education, Ada in
other environments such as XML and .NET, Ada and other languages,
metrics, standards, analysis, testing, validation, and quality
assurance.  For a more extensive list of topics visit the SIGAda 2006
web page.

Contributions are solicited in six categories:  Technical articles,
extended abstracts, experience reports, workshops, panels, and
tutorials.

We openly welcome contributions from educators and students.  Educator
grants are available and should be applied for by 26 October 2006
(please see http://www.acm.org/sigada/conf/sigada2006/grants.html).
An Outstanding Student Paper Award will be given for the best student
contribution to the conference.  Technical articles or experience
reports from students could focus on such projects as comparing
applications implemented in other languages and then re-implemented in
Ada, mixed language development of applications, how Ada is used with
XML or .NET applications, and/or software engineering education
experiences with Ada.

Please see the full Call for Participation on the SIGAda 2006 web site
for submission details.  http://www.acm.org/sigada/conf/sigada2006

The deadline for submission is 16 May 2006.

Please let me know if you have any questions,

Leemon Baird
SIGAda 2006 Program Chair

-----------------------------------------------
Lt Col Leemon Baird, PhD
Associate Professor and Deputy for Curriculum
Department of Computer Science
US Air Force Academy

Reminder -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Tue, 2 May 2006 10:16:22 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for May 2006:

[ 46 lines deleted; see updated version above -- dc ]

Reminder -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Mon, 3 Apr 2006 08:13:30 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for April 2006:

[ 46 lines deleted; see updated version above -- dc ]

Call for Contributions -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Thu, 16 Mar 2006 09:55:04 -0700
From: "Baird, Leemon C III Lt Col USAFA/DFCS"              <Leemon.Baird@USAFA.AF.MIL>
Subject: Call for Participation - SIGAda 2006
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

[ 58 lines deleted; see updated version above -- dc ]

Reminder -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Thu, 2 Mar 2006 06:15:12 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for March 2006:

Don't forget about our upcoming Ada-related conferences:

o  [ duplicates removed; see above -- dc ]

o  Ada UK Conference 2006
   Manchester, UK
   28 March 2006
      http://www.ada-uk-conference.co.uk/

o  FOSDEM 2006
   Brussels, Belgium
   25-26 February 2006 (full-day track on Ada on the 26th)
      http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/06/060226-fosdem.html

and:

o  SIGCSE (Special Interest Group in Computer Science Education) 2006
   Houston, TX
   1-5 March 2006
      http://www.cs.rit.edu/~sigcse06/

o  International Symposium on Secure Software Engineering
   Washington, DC area, USA
   13-15 March 2006
      http://www.jmu.edu/iiia/issse/

o  [ duplicates removed; see above -- dc ]

[...]

Clyde Roby, SIGAda Secretary

Reminder -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Thu, 2 Feb 2006 07:51:42 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for February 2006:

[ deleted; see updated version above -- dc ]

Reminder -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Fri, 6 Jan 2006 08:45:36 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for January 2006:

[ deleted; see updated version above -- dc ]

Reminder -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


Date: Fri, 2 Dec 2005 06:58:40 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for December 2005:

[ deleted; see updated version above -- dc ]

----------------------------------------------------------------------

The textbook "Ada for Software Engineers", written by Professor
Mordechai (Moti) Ben-Ari of the Department of Science Teaching at the
Weizmann Institute of Science
(http://stwww.weizmann.ac.il/g-cs/benari), and originally published by
John Wiley & Sons in 1998, can now be downloaded for free for academic
research and teaching from
http://stwww.weizmann.ac.il/g-cs/benari/books/index.html

[this part of the message will be removed in 2006]

----------------------------------------------------------------------

[...]

Clyde Roby, SIGAda Secretary

Preliminary Announcement -
2006 ACM SIGAda Annual International Conference (SIGAda'2006)


The ACM SIGAda'2006 Conference will be held in Albuquerque, New Mexico, USA.

The date of the event is from Sunday November 12 until Thursday November 16, 2006.

ACM SIGAda Extenced Executive Committee Meeting
Atlanta, Georgia, USA, Mon Nov 14, 2005


[Ada-Belgium] To the Ada-Belgium home page.

Last update: 2006/11/04.

Dirk Craeynest