Department of Mathematics
University     Faculty of Science

Mathematical Colloquium


The Mathematical Colloquium takes place on Wednesdays from 11.00-12.00h in the Huygensgebouw (Heyendaalseweg 135, consult the campus map) of the Radboud University Nijmegen.
There is coffee and tea in front of the lecture room from 10:45h.

Spring 2005

  • June 1, 2005: Catholijn Jonker (RU)
    Formal Analysis of Meeting Protocols
  • May 11, 2005: Ray Mines (Las Cruces)
    Profinite Completions and Canonical Extensions of Heyting Algebras
  • April 6, 2005: Georges Gonthier (Microsoft Research Cambridge)
    Verifying the Four Colour Theorem
  • March 30, 2005: Jozef Steenbrink (RU)
    Playing billiard on an ellipse
  • March 23, 2005: Assia Mahboubi (INRIA Sophia Antipolis)
    Certifying computer algebra algorithms with the Coq system: quantifier elimination for real numbers
  • March 16, 2005: Remke Kloosterman (RUG)
    Calculating arithmetic invariants of elliptic surfaces
  • Januari 26, 2005: Shigeru Kuroda (Kyoto)
    The kernel of a derivation and the fourteenth problem of Hilbert
  • Januari 19, 2005: Arno van den Essen (RU)
    A simple solution to Hilbert's fourteenth problem

Autumn 2004