School of Mines

A school of mines (or mining school) is a term used for many engineering schools established in the 18th and 19th centuries that originally focused on mining engineering and applied science. Most no longer primarily teach mining-related subjects, although some have retained the name.

...
Wikipedia