I'm going with the idea that the Winter Formal's dress code covers anything from blazers and slacks to sport coat and dress pants to outright suits, especially since it's in California where informal is a little more prevalent than the East Coast -- the East Coast is changing, but ties are still pretty much the order of the day, whereas in Cali, you get away with open collar, more and more.