Wednesday 16 November

10:0010:05  opening 
10:0511:00  Hendrik W. Lenstra 
Odd perfect numbers 
11:0011:30  coffee break 
11:3011:55  An Braeken 
Cryptographic Properties
of Symmetric Boolean Functions 
slides 
12:0012:25  Reinier Bröker 
Constructing elliptic curves with a given number of points 
slides 
12:3014:00  lunch 
14:0014:55  JeanJacques Quisquater 
Cryptology and graph theory

slides 
15:0015:25  Christopher Wolf 
Using Multivariate Quadratic Polynomials in Public Key Cryptography 
slides 
15:3016:00  tea break 
16:0016:55  Arjeh M. Cohen 
Algebras related to Links
and Tangles 
slides 
18:00  social drink  
19:00  dinner  
Thursday 17 November

9:3010:25  Günter M. Ziegler 
Constructing surfaces, combinatorial and geometric 
slides 
10:3010:55  Stefan van Zwam 
Properties of Lattices: a
Semidefinite Programming Approach 
slides 
11:0011:30  coffee break 
11:3011:55  Wieb Bosma 
Computer Algebra  Ask not what it can do for you 
slides 
12:0012:25  Erik Postma 
On Lie algebras defined by a
partial linear space 
slides 
12:3014:00  lunch 
14:0014:55  Alexander Schrijver 
Exploiting symmetry in optimization 
slides 
15:0015:25  Gwenael Joret 
A generalization of alphacritical graphs in connection with
linear ordering polytopes 
slides 
15:3016:00  tea break 
16:0016:25  Tim Nieberg 
Fast Distributed Maximal Independent Set Computation in Bounded Growth Graphs

16:3017:25  Henk Barendregt 
The interaction of computing and proving in Computer Mathematics 
19:00  dinner  
Friday 18 November

09:0009:55  Harry Buhrman 
Quantum Computing and Communication 
10:0010:25  Ellen Jochemsz 
Simple attacks on the
RSA cryptosystem for small private exponents 
10:3011:00  coffee break 
11:0011:25  JanWillem Knopper 
Automatic proofs of
graph nonisomorphism 
11:3011:55  Theo van den Bogaart 
Cohomology and the number of points 
slides 
12:0013:30  lunch 
13:3013:55  Bas Spitters 
Constructive mathematics and the algebraization of
analysis  
14:0014:25  Russell O'Connor 
Machine Verification of Incompleteness of PA 
slides 
14:3015:00  tea break 
15:0015:55  Harm Derksen 
Rational Invariant Theory

slides 