BCS-FACS

BCS-FACS is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group, founded in 1978, organizes meetings for its members and others on formal methods and related computer science topics. There is an associated journal, Formal Aspects of Computing, published by Springer, and a more informal FACS FACTS newsletter...
Found on http://en.wikipedia.org/wiki/BCS-FACS
No exact match found