12.10. | F. Winkler | organization of the seminar |
19.10. | U. Kohlenbach (Tu Darmstadt) | Effective uniform bounds for ineffective proofs in nonlinear analysis and geodesic geometry |
23.10. | A. Pethö (Univ.Debrecen) | Computer algebra and Diophantine problems |
9.11. | K. Nabeshima | Parametric Gröbner bases in rings of differential operators |
23.11. | E. Shemyakova | Laplace invariants |
30.11. | C. Aistleitner | Abstractions of differential reduction |
7.12. | S. Radu | Noncommutative Gröbner bases and finite group algebras |
11.1. | A. Pethö | Computer algebra and Diophantine problems |
18.1. | M. Zhou (Beihang U, Beijing) | Computing difference-differential dimension polynomials with d-d Gröbner bases |
25.1. | F. Winkler | Rational algebraic curves: theory and application |
Seminar schedules for previous years are available here.