Formicidae Latreille, 1809 è una vasta famiglia di insetti imenotteri, comunemente conosciuti con il nome generico di formiche.
Le formiche mostrano la massima diversità nelle zone a clima tropicale, come l'America del Sud, l'Africa e l'Australia orientale ma hanno molte specie anche nelle regioni temperate del pianeta.
Le formiche, come molti altri imenotteri, sono insetti eusociali. Nelle loro società, che variano in dimensioni e in organizzazione a seconda delle specie, vi è una classe riproduttiva - costituita dalle regine (femmine fertili) e dai maschi - e una lavorativa, costituita da femmine attere e sterili, dette operaie. Le formiche arrivano a mezzo centimetro di grandezza.