Formica tibetana Schultz & Seifert, 2025: 91, figs. 1, 5-7 (w.q.) CHINA (Gansu). Palearctic.

Primary type information: Primary type material: holotype worker. Primary type locality: China: [Gansu, Gannan Tibetan Autonomous Prefecture, Luqu County, Ma'aizhen], 34.5406°N, 102.4179°E, Luqy-8.4 km SW, 3296 m, Viehweide, LqA R2, 17.viii.2011, Chi 2011 178 (no collector's name). Primary type depository: SMNG. Secondary type information: Secondary type material: 10 paratype workers (2 mounted, 8 in ethanol). Secondary type locality: same as for holotype. Secondary type depository: SMNG.