This is an old revision of the document!

====== 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 (<= 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> -----