[citation needed] The city's public high school system is the Instituto de Educación Media Superior del Distrito Federal (IEMS-DF).
What is the public high school system called in Mexico City?
Instituto de Educación Media Superior del Distrito Federal