Formica Linnaeus, 1758
Formica truncorum finzii Stitz, 1939
Formica truncorum frontalis Santschi, 1919
Formica truncorum truncorum Fabricius, 1804