Formicinae – podrodzina mrówek obejmująca ponad 4000 gatunków.
Mrówki z tej podrodziny posiadają niektóre prymitywne cechy jak kokony wokół larw, obecność przyoczek u robotnic. Niektóre gatunki posiadają wysoko rozwinięte zachowanie ewolucyjne polegające na korzystaniu z niewolników. Odwłok składa się z 5 segmentów. Żądło w całej podrodzinie jest zmniejszone i niefunkcjonujące natomiast zbiornik na jad jest powiększony i wyspecjalizowany w produkcji kwasu mrówkowego.
Budują przeważnie gniazda podziemne jednak część gatunków zamieszkuje również drzewa.