Page Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

registration [2014/01/14 23:57]
baillot
registration [2014/01/20 17:22] (current)
guiraud
Line 1: Line 1:
  
-** Registration for Weeks 1, 2 and 3 is now closed **+** Registration for Mathematical Structures of Computation is closed **
  
-** Registration for Weeks 4 and 5 will close on January 19 ** 
- 
- 
-To register for Weeks 4 and 5, please complete the following form. Registration is free but mandatory for logistic reasons. 
- 
-<form> 
-action mail malbos@math.univ-lyon1.fr yves.guiraud@pps.univ-paris-diderot.fr 
-thanks "Your registration is complete. We look forward to welcome you in Lyon!" 
- 
-fieldset "Personal information" 
-textbox "Last name" 
-textbox "First name" 
-textbox "Institution" 
-email "Email address" 
- 
-fieldset "Participation to each week" 
-yesno "Week 4" "=yes" "!no" 
-yesno "Week 5" "=yes" "!no" 
- 
-fieldset "Week 4 - Formal proof, symbolic computation and computer arithmetic, 3-7 February" "Week 4" 
-date "Date of arrival" "=2014-02-03" 
-date "Date of departure" "=2014-02-07" 
-yesno "Lunches" "=yes" "!no" 
-yesno "Special dinner (prob. Thursday)" "=yes" "!no" 
- 
-fieldset "Week 5 - Concurrency, logic and types, 10-14 February" "Week 5" 
-date "Date of arrival" "=2014-02-10" 
-date "Date of departure" "=2014-02-14" 
-yesno "Lunches" "=yes" "!no" 
-yesno "Special dinner (prob. Thursday)" "=yes" "!no" 
- 
-fieldset "Miscellaneous information" 
-textbox "Special diet" ! 
-textbox "Two times two = ? (in digits)" /^4$/ 
-textarea "General comments" x8 ! 
- 
-fieldset "Submission" 
-submit "Register" 
- 
-</form>