The presence of the spider genus Thyreosthenius Simon, 1884 (Linyphiidae) is for the first time confirmed in the Iberian Peninsula with an observation of the myrmecophile species T. biovatus (O. Pickard Cambridge, 1875). Four adult females and two sub-adult male specimens were collected inside mound nests belonging to the red wood ant species Formica lugubris Zetterstedt, 1838 in the Aragon and Catalonia regions of Spain. This represents the second known record of an occurrence of T. biovatus in association with F. lugubris, and the first for Continental Europe. In addition, the existing information on the host preference of this species is reviewed and discussed in relation to the new data from the Spanish Pyrenees.