Checklist of Proformica species

The following species and subspecies belong to the genus Proformica. Synonyms are listed under their senior names. For valid names only see Proformica species.

A
alaica Kuznetsov-Ugamsky, 1926 (Kazakhstan)

B
buddhaensis Ruzsky, 1915 (China, Mongolia)

• Formica lefevrei Wheeler, W.M., 1929

C
caucasea (Santschi, 1925) (Georgia)

coriacea Kuznetsov-Ugamsky, 1927 (China, Kazakhstan, Kyrgyzstan, Mongolia, Russian Federation)

• Proformica frigida Dlussky, 1965

D
dolichocephala Kuznetsov-Ugamsky, 1927 (China, Kazakhstan)

E
epinotalis Kuznetsov-Ugamsky, 1927 (China, Iran, Kyrgyzstan, Turkmenistan)

F
ferreri Bondroit, 1918 (Iberian Peninsula, Spain)

flavosetosa (Viehmeyer, 1922) (China)

J
jacoti (Wheeler, W.M., 1923) (China, Mongolia)

K
kaszabi Dlussky, 1969 (China, Kyrgyzstan, Mongolia)

kobachidzei Arnoldi, 1968 (Bulgaria, Georgia)

korbi (Emery, 1909) (Bulgaria, China, Turkey)

kosswigi (Donisthorpe, 1950) (Turkey)

kusnezowi (Santschi, 1928) (Kazakhstan)

L
longiseta Collingwood, 1978 (Iberian Peninsula, Spain)

M
mongolica (Emery, 1901) (China, Democratic People's Republic of Korea, Kyrgyzstan, Mongolia)

N
nasuta (Nylander, 1856) (Bulgaria, China, France, Georgia, Greece, Iberian Peninsula, Portugal, Spain, The former Yugoslav Republic of Macedonia)

• Formica aerea Roger, 1859

• Formica nasuta depilis Santschi, 1925

nasuta metalica Kuznetsov-Ugamsky, 1923 (Kazakhstan)

nasuta syrdariana (Santschi, 1928)

nitida Kuznetsov-Ugamsky, 1923 (China, Greece, Iran, Kazakhstan, Kyrgyzstan, Russian Federation)

• Formica nitida orites Santschi, 1928

• Proformica nitida alpina Kuznetsov-Ugamsky, 1927

O
oculatissima (Forel, 1886) (Greece)

ossetica Dubovikov, 2005 (Russian Federation)

P
pilosiscapa Dlussky, 1969 (Armenia, Bulgaria, China, Georgia)

S
seraphimi Tarbinsky, 1970 (Kyrgyzstan)

similis Dlussky, 1969 (Kazakhstan)

splendida Dlussky, 1965 (China, Kyrgyzstan)

striaticeps (Forel, 1911) (Bulgaria, China, Greece)