From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a24:4502:: with SMTP id
 y2-v6mr11677177ita.0.1538415829084;
        Mon, 01 Oct 2018 10:43:49 -0700 (PDT)
X-Received: by 2002:aca:fc85:: with SMTP id
 a127-v6mr189608oii.6.1538415828874;
 Mon, 01 Oct 2018 10:43:48 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!weretis.net!feeder4.news.weretis.net!border2.nntp.ams1.giganews.com!nntp.giganews.com!feeder1.cambriumusenet.nl!feed.tweak.nl!209.85.166.216.MISMATCH!x98-v6no61631ita.0!news-out.google.com!z5-v6ni29ite.0!nntp.google.com!x98-v6no61629ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 1 Oct 2018 10:43:48 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=100.0.197.169;
 posting-account=PvmV9AoAAAD6m3XXwubwsbGwa7cDXv1N
NNTP-Posting-Host: 100.0.197.169
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <98d4be90-c335-4507-9af0-4b0ce1bbeeac@googlegroups.com>
Subject: Last day(!) to register for SIGAda HILT 2018 workshop at reduced
 rate, in Boston Nov 5&6
From: Tucker Taft <tucker.taft@gmail.com>
Injection-Date: Mon, 01 Oct 2018 17:43:49 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:54463
Date: 2018-10-01T10:43:48-07:00
List-Id: <comp.lang.ada>

Today (October 1st) is the last day (!) to register at a reduced rate for t=
he ACM/SIGAda HILT 2018 workshop on cyber-resilience in software-intensive =
systems, taking place in Boston on Monday and Tuesday, November 5 & 6, in c=
onjunction with the SPLASH/OOPSLA conference. =20

We have a great program, with several invited speakers, including keynotes =
from Ray Richards, the DARPA Program Manager for the Cyber-Assured Systems =
Engineering (CASE) program, and Bob Martin, in charge of MITRE's CVE, CWE, =
and CQE systematic enumerations of security and safety vulnerabilities in n=
etworked systems. =20

Here is a preliminary program:

    https://sigada.org/conf/hilt2018/HILT_2018_Draft_Program.pdf

Here is a web page with more information:

    https://sigada.org/conf/hilt2018

Hope to see you there!

-Tucker Taft (AdaCore) and Bill Bail (MITRE)
Co-Chairs, HILT 2018 Workshop