Registration For Workshop

Progress in Decision Procedures: From Formalizations to Applications March 30, 2013, Belgrade, Serbia

The form below collects basic information for workshop participants. We will use this information only for the purpose of organizing the workshop.

If you are giving a talk, we will separately contact you regarding the talk abstract (up to 500 words in ASCII).

In addition to the information you provide below, we will also need your account information for reimbursement of travel expenses, but do not provide this in the form, as the information is transmitted over vanilla http between your browser, and over email.

Please note that for flight reimbursement, we will need a copy of e-ticket clearly showing:

  • flight dates
  • passenger name
  • total price
Workshop Registration