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.157.14.211 with SMTP id 77mr24964317otj.27.1462843550358; Mon, 09 May 2016 18:25:50 -0700 (PDT) X-Received: by 10.157.59.34 with SMTP id z31mr341269otb.16.1462843550301; Mon, 09 May 2016 18:25:50 -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!sq19no4679098igc.0!news-out.google.com!k10ni85igv.0!nntp.google.com!i5no6525796ige.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 9 May 2016 18:25:50 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=98.110.251.179; posting-account=PvmV9AoAAAD6m3XXwubwsbGwa7cDXv1N NNTP-Posting-Host: 98.110.251.179 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <7ecc8ceb-03bd-4aa8-9e59-85971d358da5@googlegroups.com> Subject: CFP: SIGAda HILT 2016 Workshop at ESWEEK on Models + Contracts; due June 30 From: Tucker Taft Injection-Date: Tue, 10 May 2016 01:25:50 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:30368 Date: 2016-05-09T18:25:50-07:00 List-Id: Subject: CFP: HILT 2016 Workshop at ESWEEK on Models + Contracts; due June 30 Call for papers and extended abstracts: HILT 2016 Workshop on Model-Based Development and Contract-Based Programming As part of ESWEEK, October 6 & 7, 2016, Pittsburgh, PA Sponsored by ACM SIGAda CFP: http://www.sigada.org/conf/hilt2016/HILT2016-CFP.pdf Website: http://sigada.org/conf/hilt2016 ESWEEK: http://esweek.org 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-assurance software-intensive systems. Important Dates: 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 Keynote: * Phil Koopman, CMU 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 SCADE * Automated analysis and code generation targeting verification-oriented tools and/or programming language subsets such as Coq, PVS, ACL2, Why, SPARK/Ada, Frama C/ACSL, MISRA C, JML, and CompCert C. * Other contributions linking modeling and contracts to the topics associated 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 Workshop Co-Chairs * Julien Delange, Software Engineering Institute * Tucker Taft, AdaCore, Inc