5151
Comment:
|
5096
|
Deletions are marked like this. | Additions are marked like this. |
Line 20: | Line 20: |
* Monday-Wednesday morning: tutorial for newcomers and talks with a slant toward algebraic combinatorics | * Monday morning-Wednesday morning: tutorial for newcomers and talks with a slant toward algebraic combinatorics |
Line 22: | Line 22: |
* Rest: coding sprints | * Afternoons and rest of the week: coding sprints * Thusrday 2pm-3pm: by a coincidence, the `Digiteo Seminar <http://www.digiteo.fr/prochaine-seance-du-seminaire-digiteo-organisee-avec>`_ will take place in our conference room, with a distinguished lecture by Georges Gonthier on computer-checked proofs: Le génie mathématique, du théorème de quatre couleurs à la classification des groupes. |
Line 115: | Line 117: |
Why 49? ------- Because that's `7^2 <http://wiki.sagemath.org/days7>`_ Why Orsay? ---------- “Be grateful you’re not in the forest in France Where the average young person just hasn’t a chance To escape from the perilous pants eating plants But your pants are safe, you’re a fortunate guy You ought to be shouting how lucky am I” -- Dr. Seuss, Did I Ever Tell You How Lucky You Are? }}} |