Under construction

HotCRP.com is down for maintenance.

2018-01-17, 11:00pm Eastern Time: HotCRP.com is down for routine maintenance. Downtime should be less than a half hour.

If this message persists beyond what is reasonable, contact ekohler@gmail.com.