Erirhinidae Schönherr, 1825
Procas alepensis Pic, 1915
Procas alternans Klima, 1934
Procas antoinei Hustache, 1932
Procas antoniei Klima, 1934
Procas armillatus (F., 1801)
Procas biguttatus Faust, 1882
Procas bruleriei Klima, 1934
Procas cottyi Perris, 1864
Procas fastidiosus Pic, 1904
Procas granulicollis Walton, 1848
Procas lecontei Bedel, 1879
Procas lethierryi Chevrolat, 1860
Procas maculatus Klima, 1934
Procas michaelis Thompson, 2006
Procas minutus Desbrochers, 1893
Procas picipes (Marsham, 1802)
Procas putoni Tournier, 1874
Procas pyrrhodactylus Stephens, 1831
Procas rasus Desbrochers, 1897
Procas rufescens Klima, 1934
Procas saulcyi Reiche, 1857
Procas sibiricus Pic, 1904
Procas steveni Schoenherr, 1842