HFM 2019 - HISTORY OF FORMAL METHODS WORKSHOP

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.
Submissions are invited that 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 FM has impacted computing more broadly.
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 it is essential to get technical researchers interested in the history of their field. We invite participation from early stage researchers who want an idea of their field’s grounding; researchers currently actively investigating the history of FM; and researchers who have worked in FM for whom historical talks provide the opportunity to reflect on their life’s work.