What is the abbreviation for Federated logic conference?

Looking for the shorthand of Federated logic conference or how to abbreviate it? We have 2 shorthands for Federated logic conference.