[throwaway5250]

What happened to NIPS? Last I heard they had decided against a name change, since that was the sentiment of the survey, and even women seemed indifferent.

https://nips.cc/Conferences/2018/News