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]] ===== 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:" fieldset select "*Arrival date" "Friday, 29 March 2013|Saturday 30 March 2013" select "*Departure date" "Saturday 30 March 2013|Sunday 31 March 2013" textbox "Remark:" ! fieldset submit "Submit Answer" </form> ----- What we will need from participants: * name, web page, short biography (up to 300 words), photo * if presenting: title and abstract (up to 500 words) of the talk * arrival and departure times * the number of hotel nights we should reserve * meals that they will attend * whether they agree for us to arrange for hotel and meals * account IBAN for reimbursements * for flights we need e-ticket (no need for boarding passes) clearly showing: * flight dates * passenger name * total price