Originally designed for FLoC’96 by Luca Cardelli, the FLoC logo is composed of several formal logic symbols:

∀  (universal quantifier), ∃ (existential quantifier) and ⊃(implication).

If you reverse the logo, you can also make out F, L and C: