HFM2019: HISTORY OF FORMAL METHODS 2019
PROGRAM
Friday, October 11th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 1: Keynote
09:00
The early history of flow diagrams as a formal method (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 2
10:30
History of Abstract Interpretation (abstract)
11:00
Reasoning about shared-variable concurrency: interactions between research threads (abstract)
11:30
Specification with class: A brief history of Object-Z (abstract)
12:00
The History and Evolution of B and Event-B (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 3
14:00
The Prehistory and History of Requirements Engineering (RE) (+ Software Engineering) as Seen by Me: How my interest in Formal Methods eventually moved me to RE (abstract)
14:30
Formal specifications and software testing: a fruitful convergence. (abstract)
15:00
Babbage's mechanical notation (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 4
16:00
The School of Squiggol: A History of the Bird-Meertens Formalism (abstract)
16:30
From manuscripts to programming languages: an archivist perspective (abstract)