FACS (Formal Aspects of Computing Science) group

We are a community of practitioners and researchers interested in Formal Aspects of Computing Science.

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

More from FACS (Formal Aspects of Computing Science) Group

Upcoming events

Hybrid event: FACS AGM and Peter Landin Semantics Seminar
12 December, 4:00pm

Past events

See our group's previous events

Join us

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

Apply for BCS membership today

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