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