Tribe Camponotini Forel, 1878 Genus Camponotus Mayr, 1861 Subgenus Orthonotomyrmex Ashmead [Groupe typique (sericeus)] Camponotus Arminius Forel, 1910 Camponotus Arminius barbarossa Emery, 1920 see Camponotus barbarossa Emery, 1920