Professional Activities

A panel discussion at FM'03Affiliations

As well as project work I have taken part in many professional activities including close links with academic researchers and technical conferences.

Invited speaker at conferences on software engineering, requirements engineering and formal methods.

Member of many programme committees.

Invited Talks

Keynote speaker at

  • The International Conference on Verified Software: Theories, Tools, Experiments, 2005
  • Formal Methods Europe, 2002
  • 3rd International Symposium on Requirements Engineering 1997
  • 6th Conference on Software Engineering Education 1992
  • 13th International Conference on Software Engineering 1991

Invited speaker at

Programme Committees

  • Complex Systems Design and Management, 2010
  • Programme co-chair of the International Symposium on Secure Software Engineering 2006
  • International Symposium on Requirements Engineering 1995, 2001-2004, 2006
  • International Conference on Software Engineering 1995, 2003 – 2005
  • Formal Methods in Software Practice 2000
  • International Conference on Foundations of Software Engineering 1996
  • Conference on Software Engineering Education 1995
  • Programme Chair of Z User Meeting 1994
  • VDM 90

© 2019 Anthony Hall