Invited Speakers

• Prof. Jonathan Bowen, Professor of Computing, London South Bank University
  Title: Ten Commandments Ten Years On: An Assessment of Formal Methods Usage
• Prof. John Derrick, Professor of Computer Science, University of Sheffield
  Title: Applying model-checking techniques to verify fault-tolerant Erlang code