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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,ad30dbe0574be9e,start X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.204.154.76 with SMTP id n12mr5397737bkw.1.1343231156335; Wed, 25 Jul 2012 08:45:56 -0700 (PDT) Path: m12ni26266bkm.0!nntp.google.com!news2.google.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail From: Greg G Newsgroups: comp.lang.ada Subject: HILT 2012 conference, Industrial presentation deadline approaching Date: Wed, 25 Jul 2012 08:44:23 -0700 (PDT) Organization: http://groups.google.com Message-ID: NNTP-Posting-Host: 65.35.52.91 Mime-Version: 1.0 X-Trace: posting.google.com 1343231156 23626 127.0.0.1 (25 Jul 2012 15:45:56 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 25 Jul 2012 15:45:56 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=65.35.52.91; posting-account=437h3QoAAADWBBpHooFiXZcPxeR3s6-q User-Agent: G2/1.0 Content-Type: text/plain; charset=ISO-8859-1 Date: 2012-07-25T08:44:23-07:00 List-Id: High Integrity Language Technology - HILT 2012 ACM SIGAda's Annual International Conference 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 (jeff @ boleng.Com) or Tucker Taft (taft @ adacore.com. See below link for further conference information: http://www.sigada.org/conf/hilt2012/