Welcome to our group!

We organise events to discuss formal methods, combining theory and practice for professional software engineers and computer science researchers.

In addition to our events, we also publish newsletters and journals to encourage dissemination of cutting-edge material in the field.

If you have ideas for forthcoming events, let me know by emailing groups@bcs.uk.

I look forward to meeting you at our next event.

Prof. Jonathan Bowen FBCS , Chair

Join us

Become a BCS member and start networking with like-minded professionals in our FACS (Formal Aspects of Computing Science) group.

Want to get real-time updates on our group news and events?

Follow us on LinkedIn

About us

We aim to act as a bridge between industry and academia by helping industry stay in the forefront of formal computer techniques, and academics to maintain the applicability of their research.

We strive to promote the awareness, development and application of:

  • a mathematical basis for computer science;
  • theories underpinning practice in computing;
  • rigorous approaches to information processing in computer-based systems