British Computer Society

The FACS (Formal Aspects of Computing Science) group is a community of practitioners and researchers focused on the formal aspects of computing science. Operating as a member community within BCS, The Chartered Institute for IT, the group organizes events to discuss formal methods and combines theory and practice for professional software engineers... and computer science researchers. It serves as a bridge between industry and academia to promote the awareness, development, and application of a mathematical basis for computer science, theories underpinning computing practice, and rigorous approaches to information processing. The group delivers value through the organization of seminars and the publication of newsletters and journals to disseminate material in the field.Read More