AIS Class Field Theory (2017) 8-27, May 2017 at CMI