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

• Lectures, coffee, snack, and drinks after dinner are in the De Pauw.
• Drinks with the snack and dinner are paid by us; the rest you will have to pay yourself (at checkout on Friday).
• Lunch, dinner, and breakfast are in the Hoofdgebouw.
• During lunch on Thursday you can have a look at the dinner menu. In principle there is a fixed menu (well, really two: one vegetarian and one non-vegetarian, depending on what you chose on your registration form), but if there is something on the menu that you really don't like, then please contact the reception.
• Check into your room around lunch on Thursday (so preferably not directly upon arrival; first take your luggage to the lecture room).
• Bedrooms are in Goudfazant and Zwaluw, near Pauw.
• Wireless internet is guaranteed to work in Pauw and Hoofdgebouw; it may also work in the bedrooms. You can buy a hotspot card at the reception, and you should also be able to pay by credit card to T-mobile
• Check out: do not forget to pay for your extra expenses (e.g., drinks on Thursday evening)!