<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="">
<div class="">Dear all,
<div class=""><br class="">
</div>
<div class="">This is the final reminder about the History of Formal Methods 2019 workshop, to be held in Porto this October. Full information is in the email below; the key date is <b class="">30 April</b> for submission of abstracts. </div>
</div>
<div class=""><br class="">
</div>
<div class="">
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="text-decoration: underline; -webkit-font-kerning: none;"><b class="">Call for papers: History of Formal Methods 2019 Workshop, 11th October 2019, Porto, Portugal
(co-located with FM’19)</b></span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"><b class=""></b></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">We invite submissions to the <a href="https://sites.google.com/view/hfm2019/home" class=""><span class="" style="-webkit-font-kerning: none; color: rgb(9, 79, 209);">HFM2019
workshop</span></a>. See the website (<a href="https://sites.google.com/view/hfm2019" class=""><span class="" style="-webkit-font-kerning: none; color: rgb(9, 79, 209);">https://sites.google.com/view/hfm2019</span></a>) for complete details and instructions
on how to submit. Submission is via <a href="https://easychair.org/conferences/?conf=hfm2019" class=""><span class="" style="-webkit-font-kerning: none; color: rgb(9, 79, 209);">EasyChair</span></a> (<a href="https://easychair.org/conferences/?conf=hfm2019" class=""><span class="" style="-webkit-font-kerning: none; color: rgb(9, 79, 209);">https://easychair.org/conferences/?conf=hfm2019</span></a>).</span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">This is a workshop on the history of formal methods in computing. The aim is to bring together historians of computing, technology,
and science with practitioners in the field of formal methods to reflect on the discipline’s history. There will be a round of abstract submission prior to the workshop which will determine who is invited to give a presentation at the workshop. Afterwards,
presenters may submit papers based on their presentations for inclusion in the workshop’s proceedings. </span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="text-decoration: underline; -webkit-font-kerning: none;"><b class="">Scope</b></span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">The theme of the workshop is the history of formal methods in computing. By 'formal methods' we mean mathematical or logical techniques
for modelling, specifying, and reasoning about aspects of computing. This could include programming language description, concurrency modelling, theorem proving, program specification and verification, or mathematical foundations of computing. </span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">Theoretical aspects of computing have been present almost since the beginning of electronic computers, and in various ways these
techniques have evolved and changed, including into what are now called “Formal Methods”. Such aspects have been instrumental in developing fundamental understanding of computation and providing techniques for rigorous development of software, but have not
always had the desired impact on practical and industrial computing. </span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">This makes the field ripe for historical research and we invite submissions to our workshop which take a historical view of the
topic. This may include discussion of developments of various formal methods, evolving agendas within the field, consideration of the effect of social and cultural factors, and evaluation of the way in which formal methods have impacted computing more broadly. </span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">The workshop is intended to be of interest to current researchers in formal methods and to be accessible to people without any historical
background. It should also be a venue for historians of science whose work covers formal aspects of computing as we believe understanding the the history of the field brings greater clarity to current technical research. We encourage early stage researchers
to try their hand at historical reflection and gain an idea of the field’s grounding; we invite historians to contribute to the history of formal methods; and we invite researchers who have worked in formal methods for whom an historical talk provides the
opportunity to reflect on their field.</span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="text-decoration: underline; -webkit-font-kerning: none;"><b class="">Submission information</b></span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">Submissions prior to the workshop will take the form of abstracts no longer than 500 words. If references are required, these can
be added as an optional PDF file (and do not count towards the word count). All abstracts will be reviewed by the program committee whose details can be found on the website; based on these reviews, a decision will be made on who to invite to present at the
workshop.</span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">Following to the workshop, proceedings will be published (details of publisher to be finalised later). Please indicate during your
submission if you wish for a paper to be considered for inclusion in the proceedings—select “Yes” even if you are not totally certain. All papers submitted for the proceedings will be subject to peer review. </span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="text-decoration: underline; -webkit-font-kerning: none;"><b class="">Important Dates</b></span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"></span><br class="">
</div>
<ul class="">
<li class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">Call for papers: January 2019</span></li><li class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">Submissions: 30 April 2019</span></li><li class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">Notification of acceptance: 30 June 2019</span></li><li class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">Presentations ready: 1 September 2019</span></li><li class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Workshop: 11th October 2019</li><li class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="-webkit-font-kerning: none;">Papers for proceedings: 31 December 2019</span></li></ul>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;">
<span class="" style="-webkit-font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="text-decoration: underline; -webkit-font-kerning: none;"><b class="">Chairs</b></span></div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Troy Astarte</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Brian Randell</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">(Newcastle University)</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">sent by Troy Astarte on behalf of the HFM2019 Program Committee</div>
</div>
</div>
<br class="">
</body>
</html>