From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:a37:98c4:0:b0:6a0:b47b:2ec6 with SMTP id a187-20020a3798c4000000b006a0b47b2ec6mr2148137qke.730.1652405416232; Thu, 12 May 2022 18:30:16 -0700 (PDT) X-Received: by 2002:a25:44c1:0:b0:64a:94d7:6a5a with SMTP id r184-20020a2544c1000000b0064a94d76a5amr2606326yba.396.1652405415934; Thu, 12 May 2022 18:30:15 -0700 (PDT) Path: eternal-september.org!reader02.eternal-september.org!tncsrv06.tnetconsulting.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 12 May 2022 18:30:15 -0700 (PDT) Injection-Info: google-groups.googlegroups.com; posting-host=74.104.184.18; posting-account=PvmV9AoAAAD6m3XXwubwsbGwa7cDXv1N NNTP-Posting-Host: 74.104.184.18 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: CFP: ACM SIGAda HILT 2022 Workshop at ASE '22, October 14, 2022 From: Tucker Taft Injection-Date: Fri, 13 May 2022 01:30:16 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 4799 Xref: reader02.eternal-september.org comp.lang.ada:63843 List-Id: Please consider contributing to this workshop sponsored by ACM SIGAda: HILT-2022 - Supporting a Rigorous Approach to Software Development This is the seventh in the HILT series of conferences and workshops focused= on the use of High Integrity Language Technology to address challenging is= sues in the engineering of highly complex critical software systems. High Integrity Language Technologies have been tackling the challenges of b= uilding efficient, safe, reliable software for decades. Critical software a= s a domain is quickly expanding beyond embedded real-time control applicati= ons to the increasing reliance on complex software for the basic functionin= g of businesses, governments, and society in general. For its 2022 edition, HILT will be a workshop of the 37th IEEE/ACM Internat= ional Conference on Automated Software Engineering, ASE=E2=80=992022. The w= orkshop will be held on October 14th 2022. See ASE=E2=80=992022 (https://conf.researchr.org/home/ase-2022) for details= on the venue and registration. Topics HILT 2022 will focus on the increasing synergies between formal methods (th= eorem provers, SAT, SMT, etc.), advanced static analysis (model checking, a= bstract interpretation), software design and modeling, and safety-oriented = languages. From separate fields of research, we now observe a stronger inte= rconnection between formal methods, advanced analytics, modeling and design= of software, and safety features in programming languages. Programming lan= guages for safety-critical systems now routinely integrate theorem proving = capabilities like C/ACSL or Ada/SPARK2014. Theorem provers such as Coq, Lea= n, or Isabelle have established themselves as a viable strategy to implemen= t compilers or properly define the semantics of domain-specific languages. = Tools for verifying modeling languages such as AADL, Lustre, and Simulink a= re becoming more widely available, and with the emergence of the Rust langu= age and the release of Ada 2022, safety is rising to the top of concerns fo= r critical systems developers. The HILT=E2=80=992022 workshop seeks to explore ways High Integrity Languag= e Technologies leverage recent advances in practical formal methods and lan= guage design to deliver the next generation of safety-critical systems. Call for Papers This workshop is focused on the practical use of High Integrity languages, = technologies, and methodologies that enable expedited design and developmen= t of software-intensive systems. Key areas of interest include experience and research into: Practical use of formal methods at industrial scale IDE-support for formal methods Model-level analysis tools for systems like SysML, AADL, Lustre, or Sim= ulink Continuous Integration and Deployment based on advanced static analysis= tools Safety-Oriented Programming Language features *Qualification of Languag= e Tools for critical systems use The workshop accepts either short abstracts (2-3 pages) for presentation, o= r full papers (up to 8 pages). Submissions should conform, at time of submission, to the ACM Proceedings T= emplate: https://www.acm.org/publications/proceedings-template. The workshop proceedings will be published in the ACM Ada Letters. Authors = of accepted papers will be invited to contribute to a special issue of the = Springer Journal on Software and Tools for Technology Transfer (STTT). Paper submission Submit your paper through Easychair at https://easychair.org/conferences/?conf=3Dhilt22 Important Dates Submission Deadline: July, 1 2022 Notification to authors: August, 1 2022 Workshop Date: October 14th 2022.