Mathematical Colloquium
The Mathematical Colloquium takes place on Wednesdays from 11.0012.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
 December 15, 2004:
Scott Murray (TUE)
Algorithm for Lang's theorem
 November 24, 2004:
Eric Edo (New Caledonia)
Zariski topology and polydegree
 November 17, 2004:
Mikhail Katsnelson (RU)
Quantum dynamics and decoherence in nanoscale spin systems
 November 10, 2004:
Wim Veldman (RU)
The problem of the determinacy of infinite games from an intuitionistic
point of view
 November 3, 2004:
Bart Kirkels (TUE)
Irreducibility Certificates for Polynomials with Integer Coefficients
 October 20, 2004:
Mark van Hoeij (Tallahassee)
Finding a rational point on a conic
