Differences between revisions 49 and 51 (spanning 2 versions)
⇤ ← Revision 49 as of 2013-05-29 22:35:58 →
Size: 5096
Editor: nthiery
Comment:
← Revision 51 as of 2013-05-29 22:38:06 → ⇥
Size: 5095
Editor: nthiery
Comment:
Deletions are marked like this. Additions are marked like this.
Line 24: Line 24:
* 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. * 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 116: Line 117:
- `Anne Schilling <http://www.math.ucdavis.edu/~anne>`_ (UC Davis) - `Anne Schilling <http://www.math.ucdavis.edu/~anne>`_ (UC Da

combinat/FPSAC13 (last edited 2013-06-21 09:11:48 by ahmorales)