Differences between revisions 49 and 50
⇤ ← Revision 49 as of 2013-05-29 22:35:58 →
Size: 5096
Editor: nthiery
Comment:
← Revision 50 as of 2013-05-29 22:37:43 → ⇥
Size: 4747
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.

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