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 10.107.19.144 with SMTP id 16mr21281898iot.0.1467058288871;
        Mon, 27 Jun 2016 13:11:28 -0700 (PDT)
X-Received: by 10.157.27.242 with SMTP id v47mr754650otv.16.1467058288846;
 Mon, 27 Jun 2016 13:11:28 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!r1no4441985ige.0!news-out.google.com!d62ni454ith.0!nntp.google.com!jk6no4421308igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 27 Jun 2016 13:11:28 -0700 (PDT)
In-Reply-To: <7ecc8ceb-03bd-4aa8-9e59-85971d358da5@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=74.104.121.237;
 posting-account=PvmV9AoAAAD6m3XXwubwsbGwa7cDXv1N
NNTP-Posting-Host: 74.104.121.237
References: <7ecc8ceb-03bd-4aa8-9e59-85971d358da5@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b4f5ca42-de8d-42c9-b8ca-1f1e985a81d8@googlegroups.com>
Subject: Reminder: SIGAda HILT 2016 Workshop at ESWEEK on Models + Contracts;
 due June 30
From: Tucker Taft <tucker.taft@gmail.com>
Injection-Date: Mon, 27 Jun 2016 20:11:28 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Xref: news.eternal-september.org comp.lang.ada:30958
Date: 2016-06-27T13:11:28-07:00
List-Id: <comp.lang.ada>

Reminder: HILT 2016 Workshop at ESWEEK on Models + Contracts; due June 30 -=
- website: http://sigada.org/conf/hilt2016 -- deadline for HILT2016 is comi=
ng up the end of this week!  If you want to contribute but are running out =
of time, please send an e-mail to mailto:hilt2016@easychair.org to let us k=
now you have a contribution coming.

On Monday, May 9, 2016 at 9:25:51 PM UTC-4, Tucker Taft wrote:
> Subject: CFP: HILT 2016 Workshop at ESWEEK on Models + Contracts; due Jun=
e 30
>=20
> Call for papers and extended abstracts:
>=20
> HILT 2016 Workshop on Model-Based Development and Contract-Based Programm=
ing
>=20
> As part of ESWEEK, October 6 & 7, 2016, Pittsburgh, PA
> Sponsored by ACM SIGAda
>=20
> CFP: http://www.sigada.org/conf/hilt2016/HILT2016-CFP.pdf
> Website: http://sigada.org/conf/hilt2016
> ESWEEK: http://esweek.org
>=20
> The High Integrity Language Technology (HILT) 2016 Workshop is focused on=
 the synergy between Model-Based Development and Contract-Based Programming=
, producing a formal model-driven approach to the development of high-assur=
ance software-intensive systems.
>=20
> Important Dates:
>=20
> June 30: Papers or Extended abstracts due
> July 31: Notification of submissions accepted for presentation
> Sep 15: Final submissions due
> Oct 6&7: Workshop as part of ESWEEK
>=20
> Keynote:
> * Phil Koopman, CMU
>=20
> We encourage papers and extended abstracts relating to:
> * Architecture-level and requirements-oriented modeling with systems such=
 as AADL, SysML, and ArgoSim
> * Component-level modeling with systems such as UML/OCL, Simulink, and SC=
ADE
> * Automated analysis and code generation targeting verification-oriented =
tools and/or programming language subsets such as Coq, PVS, ACL2, Why, SPAR=
K/Ada, Frama C/ACSL, MISRA C, JML, and CompCert C.
> * Other contributions linking modeling and contracts to the topics associ=
ated with the co-located EMSOFT conference:
> o Formal modeling and verification
> o Testing, validation, and certification
> o Model- and component-based software design and analysis
> o Software technologies for safety-critical and mixed-critical systems
> o Robust implementation of control systems
> o Embedded software security
>=20
> Workshop Co-Chairs
> * Julien Delange, Software Engineering Institute
> * Tucker Taft, AdaCore, Inc