Workshop program

A detailed program with timings is available here.

A list of talks can be found below. Click the links after the title to see the abstract and slides.

Invited speaker

Mark Priestley. "The early history of flow diagrams as a formal method". (abstract & slides)

Accepted submissions

Francesco Ranzato and Roberto Giacobazzi. "History of Abstract Interpretation". (abstract & slides)

Cliff Jones. "Reasoning about shared-variable concurrency: interactions between research threads". (abstract & slides)

David Duke and Graeme Smith. "Specification with class: A brief history of Object-Z". (abstract & slides)

Sebastian Krings, Michael Butler, Philipp Koerner, Thierry Lecomte, Michael Leuschel and Laurent Voison. "The History and Evolution of B and Event-B". (abstract & slides)

Daniel Berry. "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 & slides)

Marie-Claude Gaudel. "Formal specifications and software testing: a fruitful convergence". (abstract & slides)

Adrian Johnstone and Elizabeth Scott. "Babbage's mechanical notation". (abstract & slides)

Jeremy Gibbons. "The School of Squiggol: A History of the Bird-Meertens Formalism". (abstract & slides)

Alexandra Vidal, Ana Sandra Meneses and António Sousa. "From manuscripts to programming languages: an archivist perspective". (abstract & slides)