Attendee Information - NSF Workshop on Formal Methods for Security

Please fill in this form to provide your details (for badges, webpage, etc.) and to indicate which nights, if any, you require accommodation at the College Park Marriott Hotel.
    This is a required question
    This is a required question
    This is a required question
    This is a required question
    This is a required question
    This is a required question

    Accommodation information

    We can provide accommodation for either or both of the nights of Wednesday November 18 and Thursday November 19. Note that we plan to start the workshop by 9am on Thursday November 19, and finish by about 2pm on Friday November 20. We will directly book and pay for the accommodation. You will be responsible for any additional expenses incurred at the hotel. (Note that we will reimburse after the workshop for airfare/travel expenses and up to $150 in additional expenses.)
    Please select at least one.
    This is a required question
    This is a required question