Programme DIAMANT/EIDMA Symposium November 2007

29 November
Time	Speaker	Title
10:00-10:40	Arrival and coffee
10:40-10:45	Opening
10:45-11:40	Gert-Martin Greuel (Kaiserslautern)	New Groebner bases for formal verification and cryptography	slides
11:45-12:05	Stefan van Zwam (Eindhoven)	A stroll through partial fields	slides
12:10-12:30	Bas Heijne (Groningen)	Cyclic self-dual codes	slides
12:30-13:55	Lunch break
14:00-14:40	Enav Weinreb (CWI Amsterdam)	Secure Computation Of Linear Algebraic Functions	slides
14:45-15:05	Christiane Peters (Eindhoven)	Optimizing double-base elliptic-curve single-scalar multiplication	slides
15:05-15:35	Tea Break
15:35-15:55	Fernando Mário de Oliveira Filho (CWI Amsterdam)	Lower bounds for the measurable chromatic number of the Euclidean space	slides
16:00-16:20	Matthias Mnich (Eindhoven)	Minimal feedback vertex sets in tournaments
16:25-17:20	Aner Shalev (Jerusalem)	Quantitative repreresentation theory, Waring problems, and the product replacement algorithm
30 November
Time	Speaker	Title
9:30-10:25	Marc van Leeuwen (Poitiers)	Fokko du Cloux' "atlas" software and the recent E_8 computation	slides
10:30-11:00	Coffee break
11:00-11:40	Ben Kane (Nijmegen)	Representations of Integers by Ternary Quadratic Forms and CM Lifts of Supersingular Elliptic Curves	slides
11:45-12:40	Marius van der Put (Groningen)	Hyper transcendental functions	slides
12:40-13:55	Lunch break
14:00-14:20	Leo van Iersel (Eindhoven)	Constructing evolutionary networks from triplets	slides
14:25-14:45	* Roelof Oosterhuis (Groningen)	Another step in formalizing Fermat's Last Theorem
14:50-15:20	Tea break
15:20-16:15	Rob de Jeu (VU Amsterdam)	On the p-adic Beilinson conjecture for number fields	slides
16:15-16:20	Closing

* Unfortunately Roelof Oosterhuis was ill and couldn't present his work. But he has agreed to give a presentation at the next DIAMANT/EIDMA symposium!