Differences between revisions 50 and 51
Revision 50 as of 2013-05-29 22:37:43
Size: 4747
Editor: nthiery
Revision 51 as of 2013-05-29 22:38:06
Size: 5095
Editor: nthiery
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.
Line 115: 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)