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!