Conference announcements

[HILT'2014 logo]

Update -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Mon, 3 Nov 2014 07:26:05 -0500
From: "Roby Jr, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for November 2014:

HILT 2014 is now over - October 18-21, 2014 !!

                High-Integrity Language Technology
                HILT 2014
                ACM SIGAda Annual International Conference

Portland Marriott Downtown Waterfront Hotel
Portland, Oregon, USA

http://www.acm.org/sigada/conf/hilt2014/

This year, it was co-located with SPLASH 2014.
http://2014.splashcon.org/

We will be creating the post-conference DVD for distribution
to SIGAda members by early next year.

Don't forget about other upcoming Ada-related conferences and
other relatively general conferences where Ada might be present:

Free and Open Source Software Developers' European Meeting (FOSDEM 2015)
                Brussels, Belgium
                31 January and 1 February 2015
                                https://fosdem.org/2015/

6th Ada Developer Room at FOSDEM 2015
                Brussels, Belgium
                Saturday, 31 January 2015
                                http://www.cs.kuleuven.be/~dirk/ada-belgium/events/15/150131-fosdem.html

ACM Technical Symposium on Computer Science Education (SIGCSE 2015)
                Kansas City, Missouri, USA
                March 4-7, 2015
                                http://sigcse2015.sigcse.org/

17th International Real-Time Ada Workshop (IRTAW 2015)
                Vermont, New York, USA
                week of 20-24 April 2015
                                http://www.cs.york.ac.uk/~andy/IRTAW2015/

IEEE International Parallel & Distributed Processing Symposium (IPDPS 2014)
                Hyderabad International Convention Centre
                Hyderabad, India
                May 25-29, 2015
                                http://www.ipdps.org/

20th International Conference on Reliable Software Technologies - Ada-Europe 2015
                Madrid, Spain
                22-26 June 2015
                                http://www.ada-europe.org/conference2015

Innovation and Technology in Computer Science Education (ITiCSE 2015)
                Vilnius University
                Vilnius, Lithuania
                6-8 July 2015
                                http://www.iticse2015.mii.vu.lt/

Principles of Distributed Computing (PODC 2015)
                Donostia-San Sebastián, Spain
                21-23 July 2015
                                http://www.podc.org/podc2015/

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

[...]

Clyde Roby, SIGAda Secretary-Treasurer

Reminder -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Thu, 2 Oct 2014 07:48:37 -0400
From: "Roby Jr, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for October 2014:

HILT 2014 is this month - October 18-21 !!

                High-Integrity Language Technology
                HILT 2014
                ACM SIGAda Annual International Conference

Portland Marriott Downtown Waterfront Hotel
Portland, Oregon, USA
October 18-21, 2014

SIGAda's annual conference continues with its broader scope to attract
participants from both outside and inside the Ada community.

http://www.acm.org/sigada/conf/hilt2014/

This year, it is co-located with SPLASH 2014.
http://2014.splashcon.org/

Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:

High-Integrity Language Technology (HILT 2014) -- SIGAda's Annual International Conference
                Portland Marriott Downtown Waterfront Hotel
                Portland, Oregon, USA
                October 18-21, 2014
                                http://www.sigada.org/conf/hilt2014/

20th International Conference on Reliable Software Technologies - Ada-Europe 2015
                Madrid, Spain
                22-26 June 2015
                                http://www.ada-europe.org/conference2015

Free and Open Source Software Developers' European Meeting (FOSDEM 2015)
                Brussels, Belgium
                31 January and 1 February 2015
                                https://fosdem.org/2015/

6th Ada Developer Room at FOSDEM 2015
                Brussels, Belgium
                Saturday, 31 January 2015
                                http://www.cs.kuleuven.be/~dirk/ada-belgium/events/15/150131-fosdem.html

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

[...]

Clyde Roby, SIGAda Secretary-Treasurer

Deadlines Approaching -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Newsgroups: comp.lang.ada
Date: Mon, 15 Sep 2014 09:31:05 -0700 (PDT)
Subject: SIGAda HILT 2014 conference in Portland, OR Oct. 18-21; deadlines approaching
From: Tucker Taft <tucker.taft@gmail.com>

The third annual High Integrity Language Technology conference
(HILT 2014), sponsored by ACM SIGAda, is co-located this year with
SPLASH/OOPSLA in Portland, OR Oct. 18-21.  The Hotel Registration
deadline is Sept. [28]th, so now is the time to firm up travel
arrangements; visit:

   http://sigada.org/conf/hilt2014

and click on the "Travel and Registration" menu.

This year our first keynote will be by Christine Anderson, who ran
the Ada 9X project so successfully, and is now executive director of
Spaceport America, the first commercial spaceport and home of Richard
Branson's Virgin Galactic.

From Spaceport America to Microsoft Research, from CMU's Software
Engineering Institute to NASA'a Jet Propulsion Laboratory, this
year's ACM SIGAda High Integrity Language Technology conference
(HILT 2014) brings together software reliability experts from
industry, academia, and government.  They will be describing the use
of advanced language technology, including programming languages,
modeling languages, and verification languages, to ensure that the
software on which our society relies more and more, is verified to
be safe, secure, and correct.  HILT 2014 will include presentations
on how architectural modeling languages like AADL and UML's Alf are
transforming the software development process for many organizations,
and how new systems programming languages like Rust and Spot are
helping developers safely and productively tackle the complexities
of multicore architectures.  This year's HILT is co-located with
SIGPLAN's SPLASH/OOPSLA conference in Portland, Oregon during the week
of October 20th, providing additional opportunities to interact with
colleagues from institutions throughout the globe who are interested
in the challenges of developing software-intensive systems that have
the high integrity needed by our modern software-dependent society.

Deadlines Approaching -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Sat, 13 Sep 2014 20:45:17 -0400
From: Tucker Taft <taft@ADACORE.COM>
Subject: SIGAda HILT 2014 conference in Portland, OR Oct. 18-21, deadlines approaching
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

The third annual High Integrity Language Technology conference (HILT 2014), sponsored by
ACM SIGAda, is co-located this year with SPLASH/OOPSLA in Portland, OR Oct. 18-21.  The
Hotel Registration deadline is Sept. 19th, so now is the time to make travel arrangements;
visit: http://sigada.org/conf/hilt2014

This year our first keynote will be by Christine Anderson, who ran the Ada 9X project so
successfully, and is now executive director of Spaceport America, the first commercial
spaceport and home of Richard Branson's Virgin Galactic.

 From Spaceport America to Microsoft Research, from CMU's Software Engineering Institute
to NASA'a Jet Propulsion Laboratory, this year's ACM SIGAda High Integrity Language
Technology conference (HILT 2014) brings together software reliability experts from
industry, academia, and government.  They will be describing the use of advanced language
technology, including programming languages, modeling languages, and verification
languages, to ensure that the software on which our society relies more and more, is
verified to be safe, secure, and correct.  HILT 2014 will include presentations on how
architectural modeling languages like AADL and UML's Alf are transforming the software
development process for many organizations, and how new systems programming languages like
Rust and Spot are helping developers safely and productively tackle the complexities of
multicore architectures.  This year's HILT is co-located with SIGPLAN's SPLASH/OOPSLA
conference in Portland, Oregon during the week of October 20th, providing additional
opportunities to interact with colleagues from institutions throughout the globe who are
interested in the challenges of developing software-intensive systems that have the high
integrity needed by our modern software-dependent society.

Call for Participation -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


From: Dirk Craeynest <Dirk.Craeynest@cs.kuleuven.be>
Subject: Call for Participation - ACM SIGAda HILT 2014 Conference, Oct.18-21
To: Ada-Europe-related@cs.kuleuven.be
Date: Thu, 11 Sep 2014 22:35:57 +0200 (CEST)

[...]

ACM SIGAda HILT 2014 Conference, Portland, OR, Oct. 18-21.
Co-Located with SPLASH/OOPSLA conference
Hotel Registration Deadline Approaching (Sept. 19th)
http://sigada.org/conf/hilt2014

From Spaceport America to Microsoft Research, from CMU's Software
Engineering Institute to NASA'a Jet Propulsion Laboratory, this
year's ACM SIGAda High Integrity Language Technology conference
(HILT 2014) brings together software reliability experts from
industry, academia, and government.

They will be describing the use of advanced language technology,
including programming languages, modeling languages, and verification
languages, to ensure that the software on which our society relies more
and more, is verified to be safe, secure, and correct.  HILT 2014 will
include presentations on how architectural modeling languages like
AADL and UML's Alf are transforming the software development process
for many organizations, and how new systems programming languages like
Rust and Spot are helping developers safely and productively tackle
the complexities of multicore architectures.

This year's HILT is co-located with SIGPLAN's SPLASH/OOPSLA
conference in Portland, Oregon during the week of October 20th,
providing additional opportunities to interact with colleagues from
institutions throughout the globe who are interested in the challenges
of developing software-intensive systems that have the high integrity
needed by our modern software-dependent society.

Call for Participation -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Thu, 11 Sep 2014 10:29:05 -0400
From: Tucker Taft <taft@adacore.com>
To: seworld@sigsoft.org
Subject: [SEWORLD] ACM HILT 2014 in Portland, OR, Oct 18-21 co-located with SPLASH/OOPSLA

ACM SIGAda High Integrity Language Technology conference, HILT 2014, Oct. 18-21.
Co-Located in Portland, OR, with SPLASH/OOPSLA conference
Hotel Registration Deadline Approaching (Sept. 19th)
For more info: http://sigada.org/conf/hilt2014

From Spaceport America to Microsoft Research, from CMU's Software Engineering Institute
to NASA'a Jet Propulsion Laboratory, this year's ACM SIGAda High Integrity Language
Technology conference (HILT 2014) brings together software reliability experts from
industry, academia, and government.  They will be describing the use of advanced language
technology, including programming languages, modeling languages, and verification
languages, to ensure that the software on which our society relies more and more, is
verified to be safe, secure, and correct.  HILT 2014 will include presentations on how
architectural modeling languages like AADL and UML's Alf are transforming the software
development process for many organizations, and how new systems programming languages like
Rust and Spot are helping developers safely and productively tackle the complexities of
multicore architectures.  This year's HILT is co-located with SIGPLAN's SPLASH/OOPSLA
conference in Portland, Oregon during the week of October 20th, providing additional
opportunities to interact with colleagues from institutions throughout the globe who are
interested in the challenges of developing software-intensive systems that have the high
integrity needed by our modern software-dependent society.

2014 SIGAda Awards Call for Nominations -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Wed, 3 Sep 2014 14:01:56 +0000
From: "Sward, Rick" <rsward@MITRE.ORG>
Subject: Re: 2014 SIGAda Awards Call for Nominations
To: <SIGADA-ANNOUNCE@LISTSERV.ACM.ORG>

Dear Members of the Ada Community:

We have extended the deadline for submission of SIGAda Award
nominations to September 18th.

Please see the message below for instructions on submitting
nominations.

Thank you,

Ricky E. "Ranger" Sward
Chair ACM SIGAda Awards Committee
ACM SIGAda Past Chair


From: Sward, Rick
Sent: Monday, August 11, 2014 4:03 PM
To: sigada-announce@acm.org
Cc: Sward, Rick
Subject: 2014 SIGAda Awards Call for Nominations

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.  Now September 18th.

The ACM SIGAda Awards recognize individuals and organizations that
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.

If there are individuals who you feel have made contributions that
satisfy these criteria, please consider nominating them.  You may
nominate a person for either or both awards, and as many people as
you think worthy.

Please visit http://www.sigada.org/exec/awards/awards.html#Previous
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 vice versa.  Nominate him or her!

The nomination form is available on the SIGAda website at
http://www.sigada.org/exec/awards/awards.html#Form.

Submit your nomination as an e-mail or e-mail attachment to
SIGAda-Award@ACM.ORG<mailto:SIGAda-Award@ACM.ORG>.  From your
nominations, the recipients of the awards are determined by a poll
of previous award winners.

Call our attention to the people who are most deserving, by nominating
them.  And please nominate by September 6th.  September 18th

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

Thank you,

Ricky E. "Ranger" Sward
Chair ACM SIGAda Awards Committee
ACM SIGAda Past Chair

Reminder -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Tue, 2 Sep 2014 06:40:25 -0400
From: "Roby Jr, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: <SIGADA-ANNOUNCE@LISTSERV.ACM.ORG>

Message for September 2014:

Our annual SIGAda international conference in 2014:

                High-Integrity Language Technology
                HILT 2014
                ACM SIGAda Annual International Conference

Portland Marriott Downtown Waterfront Hotel
Portland, Oregon, USA
October 18-21, 2014

SIGAda's annual conference continues with its new name again in 2014,
as well as a broader scope to attract participants from both outside
and inside the Ada community.

http://www.acm.org/sigada/conf/hilt2014/

This year, it is co-located with SPLASH 2014.
http://2014.splashcon.org/

Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:

[ duplicates removed; see above -- dc ]

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

[...]

Clyde Roby, SIGAda Secretary-Treasurer

2014 SIGAda Awards Call for Nominations -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Mon, 11 Aug 2014 22:02:54 +0000
From: "Sward, Rick" <rsward@MITRE.ORG>
Subject: 2014 SIGAda Awards Call for Nominations
To: <SIGADA-ANNOUNCE@LISTSERV.ACM.ORG>

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.

The ACM SIGAda Awards recognize individuals and organizations that
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.

If there are individuals who you feel have made contributions that
satisfy these criteria, please consider nominating them.  You may
nominate a person for either or both awards, and as many people as
you think worthy.

Please visit http://www.sigada.org/exec/awards/awards.html#Previous
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 vice versa.  Nominate him or her!

The nomination form is available on the SIGAda website at
http://www.sigada.org/exec/awards/awards.html#Form.

Submit your nomination as an e-mail or e-mail attachment to
SIGAda-Award@ACM.ORG.  From your nominations, the recipients of the
awards are determined by a poll of previous award winners.

Call our attention to the people who are most deserving, by nominating
them.  And please nominate by September 6th.

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

Thank you,

Ricky E. "Ranger" Sward
Chair ACM SIGAda Awards Committee
ACM SIGAda Past Chair

Reminder -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Fri, 1 Aug 2014 10:02:39 -0400
From: "Roby Jr, Clyde G" 
Subject: Monthly Reminder for SIGAda
To: 

Message for August 2014:

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

Deadline Extended -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Newsgroups: comp.lang.ada
Date: Thu, 10 Jul 2014 14:22:18 -0700 (PDT)
Subject: ACM SIGAda High Integrity Language Technology (HILT 2014) deadline
	extended to July 20th
From: Tucker Taft <tucker.taft@gmail.com>

We have extended the deadline for our second round of submissions,
namely the "Industrial presentations," until July 20th.  Industrial
presentations are less formal, and require only a 2-page overview to
be submitted initially, to describe the 30-minute presentation being
proposed.  Please consider submitting one of these covering your own
recent industrially-relevant research, and encourage your colleagues to
do the same.  Industrial presentations can add a lot to the program,
and are often some of the most interesting contributions.  This year,
being co-located with SPLASH/OOPSLA, could make such presentations
even more valuable, given the larger potential audience.

Conference website:  http://www.sigada.org/conf/hilt2014

Reminder -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Wed, 2 Jul 2014 06:21:18 -0400
From: "Roby Jr, Clyde G" <roby@IDA.ORG>
Subject: Monthlly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for July 2014:

Our annual SIGAda international conference in 2014:

                High-Integrity Language Technology
                HILT 2014
                ACM SIGAda Annual International Conference

Portland Marriott Downtown Waterfront Hotel
Portland, Oregon, USA
October 18-21, 2014

SIGAda's annual conference continues with its new name again in 2014,
as well as a broader scope to attract participants from both outside
and inside the Ada community.

http://www.acm.org/sigada/conf/hilt2014/

This year, it is co-located with SPLASH 2014.
http://2014.splashcon.org/

Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:

Principles of Distributed Computing (PODC 2014)
                Paris, France
                15-19 July 2014
                                http://www.podc.org/

[ duplicates removed; see above -- dc ]

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

[...]

Clyde Roby, SIGAda Secretary-Treasurer

Reminder -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Mon, 2 Jun 2014 08:21:15 -0400
From: "Roby Jr, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for June 2014:

Our annual SIGAda international conference in 2014:

                High-Integrity Language Technology
                HILT 2014
                ACM SIGAda Annual International Conference

Portland Marriott Downtown Waterfront Hotel
Portland, Oregon, USA
October 18-21, 2014

SIGAda's annual conference continues with its new name again in 2014,
as well as a broader scope to attract participants from both outside
and inside the Ada community.

http://www.acm.org/sigada/conf/hilt2014/

This year, it is co-located with SPLASH 2014.
http://2014.splashcon.org/

Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:

DASIA (DAta Systems In Aerospace) 2014
                Warsaw, Poland
                3-5 June 2014
                                http://eurospace.org/1dasia-2014.aspx

ITiCSE (Innovation and Technology in Computer Science Education) 2014
                Uppsala, Sweden
                23-25 June 2014
                                http://iticse2014.it.uu.se/

19th International Conference on Reliable Software Technologies - Ada-Europe 2014
                Paris, France
                23-27 June 2014
                                http://www.ada-europe.org/conference2014

[ duplicates removed; see above -- dc ]

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

[...]

Clyde Roby, SIGAda Secretary-Treasurer

Reminder -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Fri, 2 May 2014 06:49:54 -0400
From: "Roby Jr, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for May 2014:

Our annual SIGAda international conference in 2014:

                High-Integrity Language Technology
                HILT 2014
                ACM SIGAda Annual International Conference

Portland Marriott Downtown Waterfront Hotel
Portland, Oregon, USA
October 18-21, 2014

SIGAda's annual conference continues with its new name again in 2014,
as well as a broader scope to attract participants from both outside
and inside the Ada community.

http://www.acm.org/sigada/conf/hilt2014/

This year, it is co-located with SPLASH 2014.
http://2014.splashcon.org/

Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:

IEEE International Parallel & Distributed Processing Symposium (IPDPS 2014)
                Arizona Grand Resort
                Phoenix, Arizona, USA
                May 19-23, 2014
                                http://www.ipdps.org/

[ duplicates removed; see above -- dc ]

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

[...]

Clyde Roby, SIGAda Secretary-Treasurer

Call for Papers -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Newsgroups: comp.lang.ada
Date: Tue, 22 Apr 2014 11:06:19 -0700 (PDT)
Subject: Call for Papers for ACM HILT 2014 -- due June 7, co-located with SPLASH/OOPSLA
From: Tucker Taft <tucker.taft@gmail.com>

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, Chris
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 available at:

   http://sigada.org/conf/hilt2014

Reminder -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Wed, 2 Apr 2014 06:39:52 -0400
From: "Roby Jr, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: <SIGADA-ANNOUNCE@LISTSERV.ACM.ORG>

Message for April 2014:

Our annual SIGAda international conference in 2014:

                High-Integrity Language Technology
                HILT 2014
                ACM SIGAda Annual International Conference

Portland Marriott Downtown Waterfront Hotel
Portland, Oregon, USA
October 18-21, 2014

SIGAda's annual conference continues with its new name again in 2014,
as well as a broader scope to attract participants from both outside
and inside the Ada community.

http://www.acm.org/sigada/conf/hilt2014/

This year, it is co-located with SPLASH 2014.
http://2014.splashcon.org/

Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:


26th IEEE Software Technology Conference (STC 2014)
                Long Beach, California, USA
                29 March - 3 April 2014
                                http://ieee-stc.org/

[ duplicates removed; see above -- dc ]

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

[...]

Clyde Roby, SIGAda Secretary-Treasurer

Reminder -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Sat, 1 Mar 2014 07:27:01 -0500
From: "Roby Jr, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: <SIGADA-ANNOUNCE@LISTSERV.ACM.ORG>

Message for March 2014:

Our annual SIGAda international conference in 2014:

                High-Integrity Language Technology
                HILT 2014
                ACM SIGAda Annual International Conference

Portland, Oregon, USA
October 18-21, 2014

SIGAda's annual conference continues with its new name again in 2014,
as well as a broader scope to attract participants from both outside
and inside the Ada community.

http://www.acm.org/sigada/conf/hilt2014/

Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:

ACM Technical Symposium on Computer Science Education (SIGCSE 2014)
                Atlanta, Georgia, USA
                March 5-8, 2014
                                http://sigcse2014.sigcse.org/

[ duplicates removed; see above -- dc ]

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

[...]

Clyde Roby, SIGAda Secretary-Treasurer

Reminder -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Mon, 3 Feb 2014 06:55:09 -0500
From: "Roby Jr, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: <SIGADA-ANNOUNCE@LISTSERV.ACM.ORG>

Message for February 2014:

Our annual SIGAda international conference in 2014:

                High-Integrity Language Technology
                HILT 2014
                ACM SIGAda Annual International Conference

Portland, Oregon, USA
October 20-22, 2014 (tentative)

SIGAda's annual conference continues with its new name again in 2014,
as well as a broader scope to attract participants from both outside
and inside the Ada community.

http://www.acm.org/sigada/conf/hilt2014/

Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:

Free and Open Source Software Developers' European Meeting (FOSDEM 2014)
                Brussels, Belgium
                1-2 February 2014
                                https://fosdem.org/2014/

5th Ada Developer Room at FOSDEM 2014
                Brussels, Belgium
                Saturday, 1 February 2014
                                http://www.cs.kuleuven.be/~dirk/ada-belgium/events/14/140201-fosdem.html

[ duplicates removed; see above -- dc ]

High-Integrity Language Technology (HILT 2014) -- SIGAda's Annual International Conference
                Portland, Oregon, USA
                October 20-22, 2014 (tentative)
                                http://www.sigada.org/conf/hilt2014/

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

[...]

Clyde Roby, SIGAda Secretary

Reminder -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Fri, 3 Jan 2014 07:15:25 -0500
From: "Roby Jr, Clyde G" <roby@IDA.ORG>
Subject: Monthly Remiinder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

Message for January 2014:

Happy New Year!!!

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

Reminder -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Tue, 3 Dec 2013 06:32:32 -0500
From: "Roby Jr, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda (updated)
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

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

Reminder -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


Date: Mon, 2 Dec 2013 06:24:37 -0500
From: "Roby Jr, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG

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

Preliminary Announcement -
ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014)


The ACM SIGAda Annual International Conference on High Integrity Language Technology (HILT'2014) will be held in Portland, Oregon, USA. The tentative dates of the event are from Monday October 20 until Wednesday October 22, 2014.

A preliminary version of the ACM SIGAda HILT'2014 Conference web site will be available shortly.

ACM SIGAda HILT'2013 closing session
Pittsburgh, Pennsylvania, USA, Thu Nov 14, 2013


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

Last update: 2014/11/04.

Dirk Craeynest