The recently posted reminder for the Ada-Europe 2023 Conference
triggered several requests for extra time. To give all authors the
same opportunity to further refine their submission, the organizers
decided that the deadline for industrial- and work-in-progress-track
abstracts, and for tutorial and workshop proposals will be extended
by 1 week until Monday, 6 March 2023. 1+ week remains!

Hello, all,

Michael Holloway has taken over from me as the administrator of the Team-Ada
mailing list.

It has been my privilege to serve the Ada community in this role since 2005, but
now it is time for someone else to step in. I'm sure Michael will do an
excellent job.

This change should have no effect on the working of the list.

Hello, all,

According to https://www.sigada.org/exec/awards/2006_SIGAda_Awards.pdf, I have
been the administrator of the Team-Ada mailing list since 2005. Before that
Michael Berman had been the administrator for ten years, and received the 2006
ACM SIGAda Distinguished Service Award for his efforts.

I think it is time for me to pass the baton, so I am looking for someone who is
willing to take over. The position is not very demanding. The list gets little
spam and not very much legitimate use. If you are willing, contact me directly
for more information. 

[More ...]

Dear Members of the Ada Community

Due to a misconfiguration of the [log in to unmask]<mailto:[log in to unmask]> email, we kindly request those sending a nomination to resend it (again to [log in to unmask]<mailto:[log in to unmask]>), until the end of this week.

We are very sorry for the inconvenience.

Thank you very much,

Miguel Pinho
ACM SIGAda Secretary/Treasurer

From: Hamilton Jr, John Andrew <[log in to unmask]>
Sent: 15 de setembro de 2022 04:42
To: [log in to unmask]; [log in to unmask]; [log in to unmask]; [log in to unmask]; [log in to unmask]; [log in to unmask]
Subject: 2022 SIGAda Awards 

[More ...]

Dear Members of the Ada Community:

We welcome your nominations for the 2022 Robert Dewar Award for Outstanding Ada Community Contributions and the 2022 ACM SIGAda Distinguished Service Award.

We hope this message finds you and your family safe and healthy. The SIGAda meeting in 2022 will be a HILT workshop of the 37th IEEE/ACM International Conference on Automated Software Engineering, ASE’2022<https://urldefense.com/v3/__https://conf.researchr.org/home/ase-2022__;!!KwNVnqRv!AvkLVs8FhGmlnzkRGL9VuQUJibLBDKG0pUhF4EGHRGQJL_2_D-HndHWj2fFnAcQhnkFOrR0fGW-62FMjI1L7lC5Jbo1s-w$ >. The workshop will be held on October 14th 2022. See ASE’2022<https://urldefense.com/v3/__https://conf.researchr.org/home/ase-2022__;!!KwNVnqRv!AvkLVs8FhGmlnzkRGL9VuQUJibLBDKG0pUhF4EGHRGQJL_2_D-HndHWj2fFnAcQhnkFOrR0fGW-62FMjI1L7lC5Jbo1s-w$ > for details on the venue and registration. 

[More ...]

Dear Members of the Ada Community:

We welcome your nominations for the 2022 Robert Dewar Award for Outstanding Ada Community Contributions and the 2022 ACM SIGAda Distinguished Service Award.

We hope this message finds you and your family safe and healthy. The SIGAda meeting in 2022 will be a HILT workshop of the 37th IEEE/ACM International Conference on Automated Software Engineering, ASE’2022<https://urldefense.com/v3/__https://conf.researchr.org/home/ase-2022__;!!KwNVnqRv!AvkLVs8FhGmlnzkRGL9VuQUJibLBDKG0pUhF4EGHRGQJL_2_D-HndHWj2fFnAcQhnkFOrR0fGW-62FMjI1L7lC5Jbo1s-w$ >. The workshop will be held on October 14th 2022. See ASE’2022<https://urldefense.com/v3/__https://conf.researchr.org/home/ase-2022__;!!KwNVnqRv!AvkLVs8FhGmlnzkRGL9VuQUJibLBDKG0pUhF4EGHRGQJL_2_D-HndHWj2fFnAcQhnkFOrR0fGW-62FMjI1L7lC5Jbo1s-w$ > for details on the venue and registration. 

[More ...]

Ada - In Strong Typing We Trust - "coin" updated for Ada 2022

As of today, a new version of the traditional "Ada coin" is available
for promotional use at
<http://www.cs.kuleuven.be/~dirk/ada-belgium/pictures/ada-strong.html>

Coinciding with the final stages in the ISO standardization of the
latest Ada programming language revision, referred to as "Ada 2022",
and for the occasion of the 11th Ada Developer Room at FOSDEM 2022,
a new update was made available, adding "2022". 

[More ...]

Dear Colleagues,

I hope you are all well and ready for the fall, whatever it might bring in these uncertain times.

My wife Ruth and I are moving from Portland to Berkeley in the near future (yes, our son and his family live there -- he is a professor at Cal Berkeley); our new flat will have many advantages, but alas, not nearly enough space for all our books, papers, and media. 

[More ...]

The Ada-Europe 2021 Conference organizers decided to provide more time
for authors to prepare their contributions. The deadline for most
submissions is extended to Thursday 14 January 2020. 2 weeks remain!

Dear Members of the Ada Community:

We welcome your nominations for the 2020 Robert Dewar Award for Outstanding Ada Community Contributions and the 2020 ACM SIGAda Distinguished Service Award.

We hope this message finds you and your family safe and healthy. Due to the COVID-19 pandemic, the SIGAda meeting in 2020 will be held as a virtual Workshop on November 15-20, 2020, co-located with SPLASH 2020 in Chicago, Illinois, USA. 

[More ...]

The Ada-Europe 2020 Conference organizers decided to provide more time
for authors to prepare their contributions. The deadline for most
submissions is extended to Tuesday 14 January 2020. 3+ weeks remain!

SO/IEC JTC 1/SC 22/WG 9 (WG 9) is responsible for the maintenance and
revision of the Ada Programming Language and associated standards and
technical reports. As part of the language maintenance activity, WG 9 has
established a group of Ada experts as the Ada Rapporteur Group (ARG). The
ARG receives input from the Ada community at large to consider for inclusion
in revision to the Ada programming language standard. The WG 9 has produced
a number of revisions to the language in accordance with ISO policy and to
address the evolution of technology (Ada 83, Ada 95, Ada 2005, Ada 

[More ...]

Subject: Update about Ada-Europe Conferences 2019 and 2020

The 24th edition of Ada-Europe's International Conference on Reliable
Software Technologies took place on 11-14 June in Warsaw, Poland, with
considerable success.

The conference, graciously hosted by the Institute of Aviation, had
nearly 100 participants, enjoyed a rich technical and social program,
and saw much active interaction between participants, presenters,
and exhibitors. 

[More ...]

[Apologies if you receive multiple copies of this call for papers.]

The Ada-Europe 2019 Conference organizers decided to provide more
time for authors to prepare their contributions. The deadline for
all submissions is extended to Monday 28 January 2019. 3 weeks remain!

I have been asked to announce to this group that Jacob Sparre Andersen has passed away from stomach cancer on Sunday 16th of December 2018.

Jacob was admitted to hospital only a month ago, and despite his diagnosis, he retained his usual jolly and helpful self until the very end.

We hope that the many communities Jacob enriched will help preserve memories of Jacob, for his daughter Lea to find and treasure when she grows up. 

[More ...]

Dear Members of the Ada Community:

We welcome your nominations for the 2018 Robert Dewar Award for Outstanding Ada Community Contributions and the 2018 ACM SIGAda Distinguished Service Award.

This year's award winners will be announced at SIGAda's High Integrity Language Technology (HILT) International Workshop being held Nov 5 - 6, 2018, at the Boston Park Plaza Hotel, Boston, MA, USA. 

[More ...]

The Ada-Europe 2018 Conference organizers decided to provide more time
for authors to finalize their contributions. In order to minimize
conflicts with deadlines for related conferences, the deadline for
all submissions is extended to Monday 5 February 2018.

All,

On behalf of SIGAda, we are pleased to announce that Dr. Peter Chapin from the Vermont Technical College has won the 2017 Robert Dewar Award for Outstanding Ada Community Contributions.

Here are some highlights of Peter's contributions to the Ada community:

* Peter developed the tool chain, wrote some of the software and supervised the students writing the rest of the software for the Vermont Lunar CubeSat ( cubesatlab.org ). The software was written in SPARK/Ada, converted to C with AdaMagic (as there was no Ada compiler for the TI MSP430 processor in the CubeSat) and compiled with a 

[More ...]

Dear Members of the Ada Community:

We welcome your nominations for the 2017 Robert Dewar Award for Outstanding Ada Community Contributions and the 2017 ACM SIGAda Distinguished Service Award.

This year's SIGAda Award winners will be announced via the SIGAda email lists and Linked-In page, since there is no workshop this year. 

[More ...]

Come to the Ada-Europe conference mid-June in Vienna, Austria!

Reminder: register online before the end of Monday 22 May (CEST) to
enjoy early registration discounts for the conference and substantial
discounts for tutorials.

Select "Registration" at <http://www.ada-europe.org/conference2017>.
Direct link: <https://adaeurope.upv.es/index.html>.

Dirk Craeynest, Ada-Europe'2017 Publicity Chair
[log in to unmask]

*** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017
*** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org

The Ada-Europe 2017 Conference organizers decided to provide more
time for authors to finalize their contributions, and hence extended
the deadline for all submissions to Sunday 22 January 2017.

Hi Folks,

The ZanyBlue library and utils version 1.3.0b is available for download at

http://zanyblue.sourceforge.net

or directly from the download area:

https://sourceforge.net/projects/zanyblue/files/

The changes since the last release are:

* Added a new utility zbinfo to query built-in data. This was released as
an example previously (the dumplocale example which has been dropped).
* Added encoding support to convert Wide_String values to String based on
an encoding schema, e.g., UTF-8, ISO8859-2, CP932, SHIFT_JIS, etc. To
fully
use this functionality, narrow accessors should be used which, when
printing,
use Stream_IO to avoid interaction between the Text_IO and encoded
values.
The list 

[More ...]

I currently have a school project involving autonomous machines controlled
by Arduino hardware. The Arduino system reminds me of *Ada Mindstorms* - a
standalone computer system with its program downloaded from a PC. Arduino
programming language is based on C++ but I noted somewhere that programming
can be done in 'other languages'. I was wondering if there is an *Ada
Arduino* movement.

Dear Members of the Ada Community:

We welcome your nominations for the 2016 Robert Dewar Award for Outstanding Ada Community Contributions and the 2016 ACM SIGAda Distinguished Service Award.

SIGAda has renamed its annual award for "broad, lasting contributions to Ada technology and usage" to the "Robert Dewar Award for Outstanding Ada Community Contributions". Dr. Dewar, who passed away in June 2015, received this award himself in 1995 - it was then known as SIGAda's Ada Community Contributions Award - in recognition of his innovative technological achievements surrounding the Ada language.
This year's SIGAda Award winners will be announced at 

[More ...]

The Ada-Europe 2016 Conference organizers decided to provide more
time for authors to finalize their contributions, and hence extended
the deadline for all submissions to Sunday 24 January 2016.

Dear Members of the Ada Community:

We welcome your nominations for the 2015 Outstanding Ada Community Contribution Award and the 2015 ACM SIGAda Distinguished Service Award. The SIGAda Award winners will be announced electronically in November as we are not holding a SIGAda-sponsored conference this year.

Nominations are due on September 21st. 

[More ...]

The LearnAdaNow.com Contest - Do Something Awesome with Ada

Prize @ $100 and Growing

Rules:

Create a recorded video (screen cast, talking head, full live action, etc.)
of up to 1 hour long (no minimum) in mp4 format of

**** How to do something Awesome using Ada ****

1. Submit your entry to [log in to unmask] - if too large please provide a
link for downloading.
2. The judges will be the prize donors and one representative from SigAda
and one from Ada Europe.
3. No one that submits an entry nor David Botton (the organizer) can be a
judge.
4. Each 

[More ...]

Get your Ada Mascot Paraphernalia at:

http://www.cafepress.com/adamascot

I set the profit level to zero, so lowest price they offer items at.

David Botton

I am happy to announce the winner of the Ada Mascot Competition - Entry #5
- "Lady Fairy" the hummingbird. The mascot was designed by Leah Goodreau.

http://gnoga.com/mascot.html

Leah writes "My mascot was inspired by Ada Lovelace's adolescent
fascination with flight and Charles Babbage's nickname for her, "Lady
Fairy." The coloration of the mascot references the Asian fairy-bluebird,
while the silhouette is a hummingbird because of their famed speed and
sleekness." 

[More ...]

I can't seem to find where the discussion of SigAda's 2015 event is taking
place or even if there is one coming.

Does anyone know which mail list that is discussed on?

Thanks
David Botton

I know the Ada Mascot contest is not done yet, but the next Ada Contest
will be centered around a new upcoming site I am a working on for Ada
advocacy.

GetAdaNow.com has already made a a nice splash. The next project will be
LearnAdaNow.com (coming soon) - Not just a collection of pointers to intro
to Ada materials like the current collection, but involved articles, videos
and other media for tips, experiences and best practices. Examples of using
Ada in cool ways, etc. 

[More ...]

The Ada Mascot Contest is now at $700 thanks to David Rees -
http://www.gnoga.com/mascot.html -- Deadline for art submissions March 13,
2015

The Ada Mascot competition deadline has been moved to March 13 a month
later to accommodate FOSDEM entries.

http://gnoga.com/mascot.html

Let your artistic friends know! Prize is at $600 currently.

David Botton

The Ada-Europe 2015 Conference organizers decided to provide more
time for authors to finalize their contributions, and hence extended
the deadline for submission of industrial presentation proposals.

The Ada-Europe 2015 Conference organizers decided to provide more
time for authors to finalize their contributions, and hence extended
the deadline for submission of regular papers, tutorial and workshop
proposals to Sunday 18 January 2015 (firm deadline).

Introduction

See

http://www.newyorker.com/tech/elements/ada-lovelace-the-first-tech-visionary

Enjoy!
Mike Feldman

Happy Birthday Ada Lovelace

Today, December 10 2014, is the 199th birthday of Augusta Ada Byron,
aka Lady Ada Lovelace, recognised by many as the first programmer.

The programming language Ada was named in her honor.

I'd like to remind everyone that a promotional image combining the
historical figure of Ada Lovelace and the programming language Ada
is available at [1]. 

[More ...]

Hi all,

Recently I've made up four new "Powered by Ada" posters, highlighting Rosetta,
the Vermont CubeSat, and two recently-automatd subway lines: London Underground
Victoria Line, and Paris Metro Line 1. Surf over to

http://sigada.org

You'll see thumbnails of the new posters there. Click on a thumbnail to get the
full printable, resizable PDF. As a logo, these posters are using the
recently-minted Ada coin Dirk Craeynest sent me. 

[More ...]

A new Ada site for getting people quickly started using and learning Ada
including links to every known active user group, social media site and
website:

http://GetAdaNow.com

You can add a small graphic and link using:

<a href="http://getadanow.com" alt="GetAdaNow.com"><img src="
http://getadanow.com/getadanow_sm.png"></a>

(see bottom of http://GetAdaNow.com page for what it looks like)

David Botton

http://www.gnoga.com/rebirth.html

As part of my work on the building the business side of Gnoga to advocate
Ada to the applications market, I realized that there is not a single
modern slick Ada mascot. So, as I always do, I put my time and money where
my mouth is :)

I am putting in the first $200us towards the prize, if others would like to
show they advocate Ada with something towards the prize please e-mail me -
[log in to unmask] for details of how to contribute (check
http://www.gnoga.com/rebirth.html for current prize level) 

[More ...]

Dear Members of the Ada Community:

This year, the 2014 SIGAda Awards will be presented at the High Integrity Language Technology (HILT) 2014 conference in Portland, OR, Oct 18 - 21. See http://sigada.org/conf/hilt2014/ for more information on this year's SIGAda international conference.

We welcome your nominations of deserving recipients and we need them by September 6th. 

[More ...]

The Third Annual ACM High Integrity Language Technology conference (HILT 2014) is taking
place in Portland, OR this October 18-21, co-located with the SPLASH/OOPSLA conference.
We have three great keynotes/invited speakers (Tom Ball of Microsoft Research, Christine
Anderson of Spaceport America, and Peter Feiler of SEI/CMU), a panel on safe multicore
programming languages, and special sessions on model-based engineering for critical
software-intensive systems. Papers, panel/workshop proposals, tutorial proposals,
extended abstracts, etc. are due June 7th. Call for papers and other information
available at: 

[More ...]

Hi All,

Absolute Software will be holding a public Ada course during the week of 24
March in Carlsbad, CA. You can find a full description and registration
form on our web-site, www.abssw.com <http://www.abssw.com> . Click the
Public Courses button in the left margin. (We also offer courses on
real=time system design, software architecture-based development,
safety-critical development, object- oriented methods, and other
object-oriented languages.) 

[More ...]

Do you work on industrial projects (possibly Ada-related) where
reliable software is important? Do you know people working on such
projects? Then this call for industrial presentations is targeted
to you!

Many projects could report a lot of valuable experience: sharing it
with others benefits the whole community and provides useful feedback
to the project.

I invite you to check out the appended call, and to try getting a
1-page presentation overview submitted by January 19th at the latest,
i.e. in 3 weeks from now. 

[More ...]

The Ada-Europe 2013 Conference organizers decided to provide more
time for authors to finalize their contributions, and hence extended
the deadline for submission of regular papers, tutorial and workshop
proposals to 15 December 2013 (firm deadline).

Tutorials, Talks, and Panels on Model Checking, SMT Solvers, High-Integrity Model-Based
Engineering, AADL, Safe Parallel Programming, Advanced Static Analysis, Domain-Specific
Languages, and Combining Proof and Test.

Edmund Clarke, Turing Award winner will give the opening keynote on Model Checking.
Keynotes by John Goodenough of the SEI and Jeannette Wing of Microsoft Research as well,
plus an introduction to the Model-Based Engineering sessions by Michael Whalen of
University of Minnesota. 

[More ...]

Hi All,

Absolute Software will offer public Ada for Experienced Programmers class
will be the week of 4 November in Carlsbad, CA (about 25 miles north of San
Diego airport). A full course description and registration forms are
available on our website, www.abssw.com.

If you have any questions, please write me at this e-mail address, or call
me at (760) 929-0612. 

[More ...]

The first ACM SIGAda High-Integrity Language Technology conference (HILT 2012) was held
last December in Boston, and it turned out to be an excellent gathering of academic,
industrial, and government researchers and practitioners interested in how best to use
language technology and other formal techniques to support the development, analysis, and
testing of software-intensive systems. 

[More ...]

Hi All,

Absolute Software Co., Inc. is hosting a 2-week immersive courses on
developing real-time systems. The first week starts 24 June and is language
independent (so tell your C++/Java friends). The second week starts 19
August for Ada, 23 September for C++. The second week for Java has not been
finalized (no pun intended :). Mark Gerhardt & Ed Colbert will be leading
the courses. See http://www.abssw.com/public-courses.html
<http://www.linkedin.com/redirect?url=http%3A%2F%2Fwww%2Eabssw%2Ecom%2Fpubli
c-courses%2Ehtml&urlhash=dBKx&_t=tracking_anet> for details. 

[More ...]

There is a new version of the PragmAda Reusable Components (PragmARCs)
available at

http://pragmada.x10hosting.com/pragmarc.htm

This version adds a parallel version of quick sort to the components.
Unit PragmARC.Sort_Quick_In_Place has changed from a procedure to a
package exporting two procedures; programs using an older version of
Sort_Quick_In_Place will need to be modified to use the new version. 

[More ...]

Colin Paul Gloster has had difficulty posting to the list. On his behalf, I post the following:

Dear Ada advocates:

It might be worthwhile trying
WWW.ScientificRedCards.org
to complain about so-called scientific literature in which it is claimed that programming languages which are contrary to software engineering are software-engineering languages.

Yours faithfully,
Colin Paul Gloster

Are you working on industrial projects (possibly Ada-related)
where reliable software is important? Do you know people working
on such projects? Then this call for industrial presentations is
specifically targeted to you!

Many projects could report a lot of valuable experience: sharing it
with others benefits the whole community and might provide useful
feedback to the project as well. 

[More ...]

FOR IMMEDIATE RELEASE

Ada 2012 Language Standard Approved by ISO

Language revision adds contract-based programming, multicore support,
and other advanced features

GENEVA, Switzerland, December 18, 2012 - The Ada Resource Association
(ARA) and Ada-Europe today announced the approval and publication of
the latest version of the Ada programming language by the Geneva-based
International Organization for Standardization (ISO). The language
revision, known as Ada 2012, was under the auspices of ISO/IEC
JTC1/SC22/WG9 and was conducted by the Ada Rapporteur Group (ARG)
subunit of WG9, with sponsorship in part from the ARA and Ada-Europe.
The formal approval of the standard was issued 

[More ...]

Ada - In Strong Typing We Trust - redesigned 2012 "coin" versions

As of today, the 197th birthday of Augusta Ada Lovelace, a new version
of the traditional "Ada coin" is available for promotional use at
<http://www.cs.kuleuven.be/~dirk/ada-belgium/pictures/ada-strong.html>

On the occasion of the ISO standardization of the new Ada 2012
programming language definition, the "Ada coin" has been redesigned
from scratch in a higher resolution, using the original "Lady Ada"
picture, and including "2012". 

[More ...]

The Ada-Europe 2012 Conference organizers decided to provide more
time for authors to finalize their contributions, and hence extended
the deadline for submission of regular papers, tutorial and workshop
proposals to 12 December 2012 (firm deadline).

Dear Members of the Ada Community:

On Wednesday, December 5, 2012, the 2012 SIGAda Awards will be presented
in a special morning plenary session at the High Integrity Language
Technology (HILT) 2012 conference in Boston, Massachusetts. (See
http://www.sigada.org/conf/hilt2012/ if you have somehow missed
announcements of this year's annual SIGAda international conference.)

We welcome your nominations of deserving recipients. 

[More ...]

ACM Conference on High-Integrity Language Technology, HILT 2012
ACM SIGAda’s Annual International Conference
Boston, Massachusetts
December 2-3, 2012 / Tutorials
December 4-6, 2012 / Conference

Why you should attend:

Software is becoming more and more pervasive in our everyday lives and
we count on this software to be reliable. Its failure could lead to
financial or even physical harm. 

[More ...]

Hi All,

Absolute Software will be holding a public Ada course during the week of 1
October in Carlsbad, CA. You can find a full description and registration
form on our web-site, www.abssw.com. Click the Public Courses button in the
left margin

Early bird discount ends 24 September, save $500. Please call if the
schedule of this class, which starts of the 1st day of the U.S. Government's
fiscal year, makes it difficult for you to register. We will do our best
to accommodate you. 

[More ...]

Hi All,

Absolute Software will be holding a public Ada course during the week of 1
October in Carlsbad, CA. You can find a full description and registration
form on our web-site, www.abssw.com. Click the Public Courses button in the
left margin. (We also offer courses on software architecture-based
development, safety-critical development, object- oriented methods, and
other object-oriented languages.) 

[More ...]

FOR IMMEDIATE RELEASE

Ada-Europe Announces First "Ada Way" Award Winners and
"Try and Beat Me" Challenge

Brussels, Belgium (July 30, 2012) - Ada-Europe, www.ada-europe.org,
the international organization that promotes the knowledge and use
of the Ada programming language in European academia, research and
industry, launched "The Ada Way" annual student programming contest
in September 2010. The first challenge was to build a software
simulator of a football (soccer) match. The submitted code had to
include a software core implementing the logic of the simulation,
and read-write graphical panels for interactive team management. 

[More ...]

Group,

High Integrity Language Technology - HILT 2012
ACM SIGAda's Annual International Conference
http://www.sigada.org/conf/hilt2012/

Boston, Mass., USA
December 2-6, 2012
Sponsored by ACM SIGAda

The Industrial presentation deadline is fast approaching. An overview
of proposed presentations is due August 1st. However the full abstract
is not due until October 1st. If you would like to have a presentation
considered please send abstracts to one of our Program CoChairs, Jeff
Boleng ([log in to unmask]) or Tucker Taft ([log in to unmask]) . 

[More ...]

Hi All,

Absolute Software will be holding a public Ada course during the week of 20
August in Carlsbad, CA. You can find a full description and registration
form on our web-site, www.abssw.com. Click the Public Courses button in the
left margin. (We also offer courses on software architecture-based
development, safety-critical development, object- oriented methods, and
other object-oriented languages.) 

[More ...]

Hi Folks,

A new release of ZanyBlue is now available: 1.1.0 Beta. This is an Ada library
currently targeting localization support for Ada (along the lines of Java
properties) with supporting message formatting and built-in localization for about 20 locales. The properties files are compiled into Ada sources built
with your application and use to access application messages at run-time. The
run-time locale is used to select localized messages, if they are available. 

[More ...]

High Integrity Language Technology - HILT 2012
ACM SIGAda's Annual International Conference
http://www.sigada.org/conf/hilt2012/

IMPORTANT DATES:
Paper/tutorial PROPOSAL submission: June 29
Industrial presentation PROPOSAL: August 1

Boston, Mass., USA
December 2-6, 2012
Sponsored by ACM SIGAda

Keynote Presentations:

Kathleen Fisher
DARPA, Information Innovation Office
Nancy Leveson
MIT, Dept. of Aeronautics and Astronautics Engineering Sys. Div.
Barbara Liskov
MIT, Dept. of Electrical Engineering and Computer Science
Greg Morrisett
Harvard University, School of Engineering and Applied Sciences
Guy Steele
Oracle Labs 

[More ...]

FOR IMMEDIATE RELEASE

Ada 2012 Language Standard Submitted to ISO

Language revision adds contract-based programming, multicore support,
and other advanced features

STOCKHOLM, SWEDEN, June 12, 2012 - At the Ada-Europe 2012 conference
in Stockholm, the Ada Resource Association (ARA) and Ada-Europe
today announced the completion of the design of the latest version
of the Ada programming language and the submission of the reference
manual to the International Organization for Standardization (ISO)
for approval. The language revision, known as Ada 2012, is under
the auspices of ISO/IEC JTC1/SC22/WG9 and was conducted by the Ada
Rapporteur Group (ARG) subunit of WG9, with 

[More ...]

High Integrity Language Technology - HILT 2012
ACM SIGAda's Annual International Conference
http://www.sigada.org/conf/hilt2012/

Boston, Mass., USA
December 2-6, 2012
Sponsored by ACM SIGAda

Keynote Presentations:

Kathleen Fisher
DARPA, Information Innovation Office

Nancy Leveson
MIT, Dept. of Aeronautics and Astronautics Engineering Systems Division

Barbara Liskov
MIT, Dept. of Electrical Engineering and Computer Science

Greg Morrisett
Harvard University, School of Engineering and Applied Sciences

Guy Steele
Oracle Labs 

[More ...]

The following message is distributed to various mailing lists and
newsgroups. As FOSDEM is an international event attracting thousands
of participants, you might be interested to attend and/or help announce
the Ada Developer Room. Thanks for any help!

This call for industrial presentations is specifically targeted
to those of you who either work on industrial projects (possibly
Ada-related) where reliable software is important, or know people
working on such projects.

Consider what others might learn from the experience gained in those
projects, and please try to get a presentation overview submitted by
January 12th at the latest, i.e. four weeks from now. 

[More ...]

The Ada-Europe 2012 Conference and Program Chairs decided that the
submission deadline for regular papers, tutorials and workshops will
be extended by 1 week until Monday, December 5, 2011. Nevertheless,
abstract registration is requested by Monday, November 28, 2011.
The intention is to provide some more time for authors to finalize
their contributions.

This announcement is distributed to various Ada-related mailing lists
and newsgroups. As FOSDEM is an international event, we're interested
in feedback and suggestions from all forums. Thanks for any help!

Dear Members of the Ada Community:

On Thursday, 10 November 2011, the 2011 SIGAda Awards will be presented
in a special morning plenary session at the SIGAda 2011 conference in
Denver, Colorado. (See http://www.sigada.org/conf/sigada2011/ 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: 

[More ...]

Hi All,

Absolute Software had to reschedule the public Ada course described below.
The class will be held on the new dates, 12-16 September. Absolute Software
hopes this change doesn't cause you any inconvenience.

Take care,
Ed

Hi All,

Absolute Software will be holding a public Ada course during the week of 22
August in Carlsbad, CA. You can find a full description and registration
form on our web-site, www.abssw.com. Click the Public Courses button in the
left margin. (We also offer courses on software architecture-based
development, safety-critical development, object-oriented methods, and other
object-oriented languages.) 

[More ...]

FOR IMMEDIATE RELEASE

On-line Availability of Ada User Journal 30th Anniversary Special Issue

EDINBURGH, UK (June 20, 2011) - On the occasion of Ada-Europe 2011[1],
the 16th annual Conference on Reliable Software Technologies,
Ada-Europe[2] announces the on-line availability of the Ada User
Journal 30th Anniversary special issue.

Ada User Journal[3], the quarterly publication of Ada-Europe, keeps
its readership abreast of developments in the standardization,
use and promotion of the Ada programming language and technology,
as well as issues related with reliable software technologies and
engineering in Europe and the rest of the world. 

[More ...]

Ada-Europe's first Annual Student Programming Contest "The Ada Way"
is now accepting submissions.

Last September, Ada-Europe[1] kicked off its annual student programming
contest "The Ada Way"[2]. The challenge for the 2010-2011 competition
was to build a software simulator of a football match. The submission
of entries has now been opened: they will be accepted through May 15th. 

[More ...]

This call for industrial presentations is specifically targeted
to those of you who either work on industrial projects (possibly
Ada-related) where reliable software is important, or know people
working on such projects.

Consider what others might learn from the experience gained in those
projects, and please try to get a presentation overview submitted by
January 8th at the latest, i.e. one month from now. 

[More ...]

Hi Folks,

I posted this to comp.lang.ada recent and assume most people on this list
check that group, just in case not, here the announcement.

This is the first release of the ZanyBlue Ada packages. This release
includes the Text package which support localization of Ada applications
with Java style message formatting and .properties files. The
released files are available at 

[More ...]

The recently posted reminder for The Ada Connection triggered several
requests for extra time. To give all authors the same opportunity to
further refine their submission, the Conference and Program Chairs
decided that the deadline for regular papers, tutorials and workshops
will be extended by 1 week until Sunday, November 28, 2010.

Hi,

With a new team, Ada France, a french not-for-profit promoting the Ada
programming language, has updated its web site:

http://www.ada-france.org/

We're now also present on social networks:

https://identi.ca/adafrance
https://twitter.com/adafrance
http://www.facebook.com/adafrance

We welcome friends, members, links, comments and contributions!

http://www.ada-france.org/adherer

Sincerely,

Laurent
Ada France Secretary
http://www.ada-france.org/

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. 

[More ...]

FOR IMMEDIATE RELEASE

Ada-Europe Kicks Off its First Annual Student Programming Contest
"The Ada Way"

Brussels, Belgium (September 28, 2010) - Ada-Europe[1], the
international organization that promotes the knowledge and use of the
Ada programming language in European academia, research and industry,
is pleased to announce "The Ada Way"[2]. This annual student
programming contest aims to attract students and educators to Ada in
a form that is both fun and instructive. Entries are now open for
the 2010-11 competition and judging takes place in May next year. 

[More ...]

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 Conference on 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: 

[More ...]

FOR IMMEDIATE RELEASE

Ada-Europe Launches
Annual Student Programming Contest "The Ada Way"

VALENCIA, Spain (June 16, 2010) On the occasion of Ada-Europe 2010,
the 15th annual Conference on Reliable Software Technologies,
Ada-Europe, the international organization that promotes the knowledge
and use of Ada in European academia, research and industry, launched an
annual Student Programming Contest under the provisional title of "The
Ada Way". 

[More ...]

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. 

[More ...]

The Second International Conference on
Parallel, Distributed, Grid and Cloud Computing for Engineering
Ajaccio, Corsica, France
date: 12-15 April 2011

Please note that the call for papers for the above conferences closes
on the 1st July 2010 and abstracts may be submitted via the conference
website:
http://www.civil-comp.com/conf/pareng2011.htm

Young Researcher Best Paper Competition: To encourage young
researchers to attend the conference a 1000 Euro Young Researcher
Best Paper Prize will be awarded to the best paper presented at the
conference. (For further details please see the conference website). 

[More ...]

please: who configures
http://www.adaic.com/site/wide-search.html

This call for industrial presentations is specifically targeted
to those of you who either work on industrial projects (possibly
Ada-related) where reliable software is important, or know people
working on such projects.

Please think for a moment what others might learn from the experience
gained in those projects, and get a presentation overview submitted
at the latest on January 11th, i.e. one month from now. 

[More ...]

Considering the requests of several potential contributors, and to give
all authors the same opportunity of further refining their submission,
the Conference and Program Chairs decided that the submission deadline
for regular papers, tutorials and workshops will be extended by 1 week
until Monday, November 23, 2009.

The following message is distributed to various Ada-related mailing
lists and newsgroups. As FOSDEM is an international event, we're
interested in feedback and suggestions from all forums. Thanks for
any help!

Dirk Craeynest, President Ada-Belgium, [log in to unmask]

All,

I'm forwarding a message from Ed Schonberg concerning the current AIs being considered by the ARG and WG9. If you have any comments on the AIs, please send them to me and I will forward them to the ARG. The deadline for comments is October 30th, but the sooner we get them to the ARG, the sooner they can respond to the comments. 

[More ...]

The Ada programming "sub-reddit" (http://www.reddit.com/r/ada/) has
been a subgroup on the Reddit social linking and recommendation site
for well over a year now.

It's purpose is to provide "News, articles, and pointers to other
items of interest about the Ada programming language".

You are welcome to monitor the site, and register if you have your own
links to share, recommend, and comment upon. 

[More ...]

Ada teamers,

who knows Norman Cohen's new email address?

not found via
http://domino.research.ibm.com/comm/research_people.nsf/pages/ncohen.index.html

Dear Members of the Ada Community:

As the new Chair of SIGAda, I'm sending you this call for nominations for the SIGAda Outstanding Ada Community Contribution Award and the ACM SIGAda Distinguished Service Award. Nominations are due on September 28th to [log in to unmask]<mailto:[log in to unmask]>.

On Thursday, Nov 5th, these SIGAda Awards will be presented in a special morning plenary session at the SIGAda 2009 conference in Tampa, Florida (See http://www.sigada.org/conf/sigada2009/). 

[More ...]

Hi Teamers

I have a package which I wish to make available to students without their
having knowledge of its contents. I believe that a copy of the
specification and a read-only copy of the .ALI file are all that need to be
available on the LAN. (Q.1.: is this correct?)

My machine is a PC. I am running GAP's GPL compiler. (Q.2.: will the ALI
be portable if a student is running a MAC or one of the Unicies?)
Cheers