The form Workshop on Formal Methods for Cryptographic Proofs Registration is no longer accepting responses.
Try contacting the owner of the form if you think this is a mistake.