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 |
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.) |
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 |
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 |