Under construction

HotCRP.com is down for maintenance.

2023-11-10, 6:30am Eastern Standard Time: HotCRP.com is transitioning to new server hardware. This process should be complete by 6:45am.

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