CIRM, Fondazione Bruno Kessler
The Department of Mathematics of the University of Trento

Program of
The 11th Rhine Workshop on Computer Algebra
Levico Terme, June 16-20, 2008.

Tuesday, June 17
9:30-10:10 Csaba Schneider, Generalised sifting in black-box groups
10:15-10:55 René Hartung, A nilpotent quotient algorithm for certain infinitely presented groups and its applications
11:00-11:30 Coffee break
11:30-12:10 Alla Detinko, Computing with matrix groups over infinite domains: deciding finiteness
15:00-15:40 Dan Roozemond, An extension of a result by Steinberg
15:45-16:25 Andrea Pavan, Computing an arithmetic subgroup of a unipotent algebraic group
16:30-17:00 Coffee break
17:00-17:40 Josef Schicho, A fast algorithm for rational normal curves
17:45-18:25 Christiaan van de Woestijne, Computing points on elliptic curves over finite fields

Wednesday, June 18
9:30-10:10 Herwig Hauser, Echelons and Janet bases
10:15-10:55 Reinhard Steffens, Some new techniques for explicit mixed volume computation
11:00-11:30 Coffee break
11:30-12:10 I-Chiau Huang, Identities of Bernoulli numbers and polynomials
14:00 Excursion to Vetriolo Terme. (By bus to Vetriolo, then on foot to the top of the hill.)

Thursday, June 19
9:30-10:10 Gábor Ivanyos, Invariants of groups and universality of quantum gate sets
10:15-10:55 Müfit Sezer, Characterizing separating invariants
11:00-11:30 Coffee break
11:30-12:10 Mohamed Ayad, Iteration, substitution and irreducibility of polynomials
15:00-15:40 Lajos Rónyai, Polynomial functions on finite point sets
15:45-16:25 Martin Kreuzer, Exact and approximate border bases
16:30-17:00 Coffee break
17:00-17:40 Kerstin Hept, On the structure of projection based tropical bases

Friday, June 20
9:30-10:10 Serena Cicalò, Evaluating the BCH formula
10:15-10:55 Fabio Tonoli, An explicit construction of ruled surfaces
11:00-11:30 Coffee break
11:30-12:10 Alexander Elashvili, Lie algebras and singularity theory