Outre l'Institut Mines-Télécom (IMT), grand établissement mentionné à l'article D. 717-9, les dispositions relatives aux écoles relevant du ministère chargé de l'industrie sont fixées par les décrets suivants :

1° Ecole nationale supérieure des mines de Paris (Mines ParisTech) : décret n° 91-1033 du 8 octobre 1991 relatif à l'Ecole nationale supérieure des mines de Paris ;

2° Ecole nationale supérieure des mines de Saint-Etienne (Mines Saint-Etienne) : décret n° 91-1034 du 8 octobre 1991 relatif à l'Ecole nationale supérieure des mines de Saint-Etienne ;

3° Ecole nationale supérieure des mines d'Alès (Mines Alès) : décret n° 91-1035 du 8 octobre 1991 relatif à l'Ecole nationale supérieure des mines d'Alès ;

4° Ecole nationale supérieure des mines de Douai (Mines Douai) : décret n° 91-1036 du 8 octobre 1991 relatif à l'Ecole nationale supérieure des mines de Douai ;

5° Ecole nationale supérieure des mines de Nantes (Mines Nantes) : décret n° 91-1037 du 8 octobre 1991 relatif à l'Ecole nationale supérieure des mines de Nantes ;

6° Ecole nationale supérieure des mines d'Albi-Carmaux (Mines Albi-Carmaux) : décret n° 93-38 du 11 janvier 1993 relatif à l'Ecole nationale supérieure des mines d'Albi-Carmaux.