Are schools open Columbus Day October 12?

That probably depends on your school district, but it isn't a major holiday, and my child has school on that day.