This collection of papers is the result of a workshop held on 1 lth October 2019, as part of the FM'19 conference, in Porto, Portugal. The workshop was on the history of formal methods: mathematical or logical techniques for modelling, specifying, and reasoning about aspects of computing. The aim was to bring together historians of computing, technology, and science with practitioners in the field of formal methods to reflect on the discipline's history. It was the first workshop to bear this name and represented an early attempt to turn the eye of history towards formal methods specifically. The conference web pages can be found at where they will hopefully remain long after the site becomes a historical artefact itself. Here, the pre-conference abstracts can be seen, as well as the slides for each talk.
展开▼