====== Registration For Workshop ======

[[http://argo.matf.bg.ac.rs/events/2013/pdp2013/pdp2013.html|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

===== Registration Form =====

<form>
action mail richmodels-votes@laraserver.epfl.ch
thanks "Your registration has been emailed and should be accessible to Viktor Kuncak within minutes. Thank you for your participation!"
fieldset "Workshop Registration"
fieldset
textbox "*Your full name:"
textbox "*Contact email:"
textbox "*Home page:"
textbox "Biography (<= 300 words):"
fieldset
select "*Arrival date" "Friday, 29 March 2013|Saturday 30 March 2013"
select "*Departure date" "Saturday 30 March 2013|Sunday 31 March 2013"
select "*Permission for us to pay for hotel and joint meals:" "Yes|No"
fieldset
textbox "Talk title, if applicable:"
textbox "Remark:" !
fieldset
submit "Submit Answer"
</form>
-----