Student holidays, staff development days and more: Here are some important area ISD dates to know in school year 2017-18