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.224.7.7 with SMTP id b7mr37230611qab.5.1375295868101; Wed, 31 Jul 2013 11:37:48 -0700 (PDT) X-Received: by 10.49.1.112 with SMTP id 16mr2492674qel.20.1375295868080; Wed, 31 Jul 2013 11:37:48 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!eu.feeder.erje.net!feeder.erje.net!us.feeder.erje.net!news.glorb.com!f7no313741qan.0!news-out.google.com!ce7ni126qab.0!nntp.google.com!fx3no327372qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 31 Jul 2013 11:37:48 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=74.104.121.87; posting-account=PvmV9AoAAAD6m3XXwubwsbGwa7cDXv1N NNTP-Posting-Host: 74.104.121.87 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <118b74fa-5420-48f1-bc88-176a443f1c9b@googlegroups.com> Subject: ACM HILT 2013 Deadline now August 6th for Industrial Presentation Overview From: Tucker Taft Injection-Date: Wed, 31 Jul 2013 18:37:48 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:16622 Date: 2013-07-31T11:37:48-07:00 List-Id: The deadline for ACM High Integrity Language Technology (HILT) 2013 "Indust= rial" Presentations is coming up -- originally August 1st, now August 6th. = All that is required at this point is an overview of the proposed presentat= ion. If you or one of your colleagues have been doing some interesting indu= stry-relevant programming-language/modeling/formal-methods research and wou= ld like a forum to present it, before writing a whole paper, this might be = a good opportunity. Our keynotes and invited speakers include Edmund Clarke= , John Goodenough, Jeannette Wing, and Michael Whalen. See the call-for-pap= ers at the attached link for information on submitting an overview for an I= ndustrial Presentation: http://www.sigada.org/conf/hilt2013