Program for Friday, October 11th: Talk View

PROGRAM FOR FRIDAY, OCTOBER 11TH: TALK VIEW

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

09:00-10:00

The early history of flow diagrams as a formal method

Mark Priestley

10:30-11:00

History of Abstract Interpretation

Francesco Ranzato, Roberto Giacobazzi

11:00-11:30

The History and Evolution of B and Event-B

S. Krings, M. Butler, P. Koerner, T. Lecomte, M. Leuschel, L. Voison

11:30-12:00

Specification with class: A brief history of Object-Z

David Duke, Graeme Smith

12:00-12:30

Reasoning about shared-variable concurrency: interactions between research threads

Cliff Jones

14:00-14:30

The Prehistory and History of Requirements Engineering (RE) (+ Software Engineering) as Seen by Me: How my interest in Formal Methods eventually moved me to

Daniel Berry

14:30-15:00

Formal specifications and software testing: a fruitful convergence.

Marie-Claude Gaudel

15:00-15:30

Babbage's mechanical notation

Adrian Johnstone, Elizabeth Scott

16:00-16:30

The School of Squiggol: A History of the Bird-Meertens Formalism

Jeremy Gibbons

16:30-17:00

From manuscripts to programming languages: an archivist perspective

Alexandra Vidal, Ana Sandra Meneses, António Sousa

17:00-18:00 Audience Discussion: What have formal methods ever done for us?

10:00-10:30 Coffee Break

12:30-14:00 Lunch Break

15:30-16:00 Coffee Break