[TYPES/announce] Call for expression of interest in the High Assurance Systems Engineering Workshop (a workshop @ POPL 2020)

[Satnam Singh]

=======================================================================
Call for Expression of Interest in HASE 2020 (a workshop @ POPL'20)
=======================================================================

HASE 2020: https://popl20.sigplan.org/home/hase-2020
Monday 20 and Tuesday 21 January 2020, co-located with POPL 2020 in New
Orleans, USA.

Recent years have seen major advances in the application of formal methods
and other high assurance verification techniques to software and hardware.
However, it is rarely used in the engineering of actual production systems
rather than academic prototypes. At the same time, attacks on production
systems are showing no signs of decreasing in frequency, whilst our
reliance on their security is rapidly increasing, particularly with
technologies such as IoT and Cloud, where physical isolation and
firewalling are less and less useful.

We believe these trends are converging. The importance and complexity of
systems software makes it an ideal application for formal and high
assurance verification. The Workshop on High Assurance Systems Engineering
(“HASE”) was launched in January 2019 to drive this convergence forward by
bringing researchers and practitioners together to discuss applications of
formal methods to real world systems and scenarios, and we would like to
further this work by hosting a HASE sub-session co-located with POPL 2020.

The workshop is non-traditional in format and will be structured as a
series of collaborative working sessions. We therefore will ask
participants to commit to joining us for the whole day for both the Monday
and Tuesday sessions, if they choose to participate. Based on previous
workshops, this commitment will lead to a far more productive and
interesting discussion. To help get an idea of numbers and also of
participant interest in various topics and for indicating interest in
potentially speaking, please register interest here before the workshop
takes place: https://forms.gle/qGf7h1DAvybBuQC47

Organizing Committee
Karthikeyan Bhargavan, INRIA, France.
Hong-Seok Kim, Google Research, South Korea.
Ben Laurie, Google Research, UK.
Sarah de Haas, Google Research, UK.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20191015/8ab2f844/attachment-0001.html>