Programme DIAMANT/EIDMA symposium 2006

30 November

11:00-11:30 arrival and coffee in foyer Pauw
11:30-11:35 opening in lecture room Pauw
11:35-12:30 Ronald de Wolf (CWI Amsterdam) Quantum proofs for classical theorems
12:30-14:00 lunch in Hoofdgebouw
14:00-14:25 Russell O'Connor (RU Nijmegen) A monadic approach to certified exact real arithmetic
14:30-14:55 Stanislav Bulygin (Kaiserslautern) Decoding and finding the minimum distance of error-correcting codes with Groebner bases
15:00-15:25 Peter Korteweg (TU Eindhoven) An approximation algorithm for the Wireless Gathering Problem
15:30-16:00 tea break in foyer Pauw
16:00-16:25 Ionica Smeets (Universiteit Leiden) Multidimensional continued fractions and the LLL-algorithm
16:30-16:55 Tyrrell McAllister (TU Eindhoven) Applications of polyhedral geometry to computational representation theory
17:00-17:25 Gwenaël Joret (Université Libre de Bruxelles) Tight results on minimum entropy set cover
17:30-18:30 snack in foyer Pauw
18:45-19:45 Tor Helleseth (University of Bergen) Breaking the filter generator
20:00 dinner in Hoofdgebouw
after dinner drinks in foyer Pauw (own expenses)

1 December

08:00-09:15 breakfast in Hoofdgebouw
09:30-10:25 Georges Gonthier (Microsoft Research) The computer mathematics of the Four Colour Theorem
10:30-10:55 Jacob Jan Paulus (University of Twente) Time-constrained project scheduling
11:00-11:30 coffee break in foyer Pauw
11:30-11:55 Reza Rezaeian Farashahi (TU Eindhoven) Extractors for binary elliptic curves
12:00-12:25 Johan Bosman (Universiteit Leiden) Construction of non-solvable polynomials over Q
12:30-14:00 lunch in Hoofdgebouw
14:00-14:25 Tim Mussche (TU Eindhoven) The chromatic number of Kneser graphs and some q-analogues.
14:30-14:55 Dion Gijswijt (UvA Amsterdam) Semidefinite programming bounds for codes
15:00-15:25 Mathieu Carette (Université Libre de Bruxelles) Strong reflection rigidity in Coxeter groups
15:30-16:00 tea break in foyer Pauw
16:00-16:55 Gunther Cornelissen (Universiteit Utrecht) Undecidable problems about rational points
17:00 end

Practical Information