FAC: Formal Aspects of Computing

What does FAC mean? The above is one of FAC meanings. It may have other definitions. Please refer to the end of this passage.

Definition in English: Formal Aspects of Computing