This page includes an eclectic collection of photographs of people connected with formal methods. Please add photographs or links to photographs relevant to formal methods. Alternatively, please contact Jonathan Bowen if you know of other photographs which you think would be suitable for inclusion here.

People Edit

---

Prof. Jonathan Bowen, maintainer of these WWW Virtual Library Formal Methods pages.

---

Prof. Edsger Wybe Dijkstra, promulgator of the streamlining of mathematical argument to increase powers of reasoning, especially by the use of formal techniques.

---

Prof. David Gries, award winning educator in the use of logic for computer science.

---

Prof. Mike Gordon, FRS↑, champion of HOL.

---

Prof. Tony Hoare, FRS, inventor of CSP.

---

Prof. Cliff Jones, progenitor of VDM.

---

Prof. Gordon Plotkin, champion of operational semantics.

---

Meetings Edit

---

Three Wise Michaels (Mac an Airchinnigh, Hinchey and Butler) bringing a little Irish cheer to FME'94, Barcelona↑, Spain.

---

The Bowen family at FME'94, Barcelona, Spain.

---

Jonathan Bowen at FTRTFT'94, Lübeck↑, Germany.

---

See also:

• "Active" photograph of participants at the first ProCoS-WG Working Group workshop at Gentoft, Denmark in January 1994.
• Group photograph at the 3rd ProCoS-WG meeting, at the Hotel Marina, Vedbaek, just outside Copenhagen, Denmark in August 1995.
• Group photograph at the 5th ProCoS-WG meeting, at the Department of Computer Science, The University of Reading, UK in April 1997.
• 1994 photographs from Marktoberdorf (International Summer School).
• 1st B'96 Conference photographs, Nantes, France, 25-27 November 1996.
• 2nd B'98 Conference photographs, Montpelier, France, 22-24 April 1998.
• Workshop on Integrated Formal Methods (IFM'99), York, UK, 28-29 June, 1999. See also photographs by Keijiro Araki (including a 360 degree panoramic view of the conference dinner).
• Photographs from Program Verification and Semantics: The Early Work, Science Museum, London, UK, 5 June 2001.
• Prof. Dr. Carl Adam Petri (inventor of Petri Nets). See also Steering Committee for the International Conferences on Application and Theory of Petri Nets.
• Photographs of members of the Centre for Applied Formal Methods, London South Bank University, UK.
• Lfm2000 Photos and video clips.
• A selection of Oxford photographs.

---

Please contact Jonathan Bowen if you wish to suggest additions, deletions or changes to this page.
Last updated 29 March 2009.