Форми́ка — род муравьёв из подсемейства формицины, включающий эволюционно наиболее продвинутые виды, такие как рыжий лесной муравей, луговой муравей и другие. Более 170 видов.
Список муравьёв Италии включает все виды муравьёв, обитающих в Италии. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло. Также, буквами указано, является ли данный вид эндемиком местной фауны (E) и части Италии в которых вид встречается.
Список видов муравьёв Польши включает все виды муравьёв, обитающих в Польше. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло. Всего на территории Польши обнаружено 105 видов муравьёв из 25 родов.
Список муравьёв России включает все виды муравьёв, обитающих на территории России. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон и года, в котором это произошло.
Temnothorax tuberum (лат.) — вид мелких по размеру муравьёв рода Temnothorax трибы Crematogastrini из подсемейства Myrmicinae семейства Formicidae.
В данный список включены все виды муравьёв (Formicidae) Испании. В настоящее время здесь обнаружено около 300 видов и подвидов муравьёв из 43 родов. Среди них 13 эндемичных видов, например, Camponotus haroi, Aphaenogaster dulciniae, Cataglyphis gadeai, Cataglyphis tartessica, Goniomma baeticum, Goniomma blanci и другие. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон, и года, в котором это произошло.
Leptothorax goesswaldi (лат.) — вид мелких по размеру муравьёв рода Leptothorax из подсемейства Myrmicinae (Formicidae). Социальный паразит, внесённый в Красную книгу МСОП. Европа.
Leptothorax kutteri (лат.) — вид мелких по размеру муравьёв рода Leptothorax из подсемейства Myrmicinae (Formicidae). Социальный паразит, внесённый в Красную книгу МСОП. Европа и Турция.
Formica foreli (лат.) — вид средних по размеру муравьёв рода Formica (Formicidae). Редкий охраняемый в нескольких странах Европы вид.
Myrmica specioides (лат.) — вид мелких муравьёв рода Myrmica . Включён в списки редких и охраняемых животных в нескольких европейских странах: Великобритания, Германия, Норвегия (VU), Польша (DD), Швеция (NT).
Myrmica vandeli (лат.) — вид мелких муравьёв рода Myrmica. Предположительно факультативный социальный паразит других муравьёв.
Formica bruni (лат.) — вид средних по размеру муравьёв рода Formica (Formicidae).
Formica lemani (лат.) — вид средних по размеру муравьёв подрода Serviformica из подсемейства Formicinae. Включён в Красную книгу Челябинской области.
Iberoformica subrufa (лат.) — вид средних по размеру муравьёв, единственный в составе монотипического рода Iberoformica (Formicidae).
Crematogaster auberti (лат.) — вид муравьёв рода Crematogaster из подсемейства Myrmicinae (Formicidae).
Camponotus pilicornis (лат.) — вид средних по размеру муравьёв из рода Camponotus (Formicidae).
Список муравьёв Украины включает все виды муравьёв, обитающих на территории Украины. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон и года, в котором это произошло. В настоящее время в фауне Украины обнаружено 146 современных видов из 39 родов муравьёв. Среди эндемиков Украины: Chalepoxenus tauricus, Plagiolepis karawajewi, Strongylognathus arnoldii, Strongylognathus chelifer.
Strongylognathus alpinus (лат.) — вид муравьёв-рабовладельцев рода Strongylognathus из подсемейства Myrmicinae (Formicidae). Включён в Международную Красную книгу МСОП. Эндемики Европы: Италия, Франция и Швейцария. Встречается на высотах от 1500 до 2000 м. Тело коричневое. Затылочный край слегка вогнутый. Стебелёк между грудкой и брюшком состоит из двух члеников: петиолюса и постпетиолюса. Узелок петиоля немного блестящий, на постпетиоле развиты поперечные бороздки. Жало развито, куколки голые. Паразитирует на муравьях рода Tetramorium. Во Франции и Швейцарии в качестве хозяина указан вид Tetramorium impurum. Вид был впервые описан в 1909 году американским мирмекологом Уильямом Уилером в статусе подвида под первоначальным названием Strongylognathus huberi subsp. alpinus Wheeler, 1909. Рейдовая поведение зафиксировано в ночное время. Видовое название связано с первым местом обнаружения типовой серии в Альпах Швейцарии.
Tetramorium impurum (лат.) — вид муравьёв рода Tetramorium из подсемейства Myrmicinae (Formicidae).
Список муравьёв Болгарии включает все виды муравьёв, обитающих на территории Болгарии. Список состоит из биноменов и указанных рядом с ними имени учёного, впервые описавшего данный таксон и года, в котором это произошло. В настоящее время в фауне Болгарии обнаружено 195 современных видов из 43 родов муравьёв. Среди них болгарские эндемики Strongylognathus bulgaricus Pisarski, 1966, Teleutomyrmex buschingeri Lapeva-Gjonova, 2017, Temnothorax helenae Csősz, Heinze & Mikó, 2015 и около 30 балканско-анатолийских эндемиков и субэндемиков. Наибольшим числом видов представлены роды Temnothorax (27) и Lasius (24). Более чем 10 видами также представлены Formica (18), Camponotus (16), Myrmica (15) и Tetramorium (11).
