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 firstname.lastname@example.org.
I look forward to meeting you at our next event.
Prof. Jonathan Bowen FBCS , Chair
Upcoming events will be posted when available
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