FACS (Formal Aspects of Computing Science) group
We are a community of practitioners and researchers interested in Formal Aspects of Computing Science.
Become a BCS member and start networking with like-minded professionals in our FACS (Formal Aspects of Computing Science) group.
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