4747
Comment:
|
5095
|
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 |