Are you lost? Here are the HotCRP instances hosted on this machine:

• types25-post
• types26-conf
• types26-post
• ocaml26
• jfla27
• types27-conf
• hotcrp-test