13.10. | F. Winkler | organization of the seminar |
C. Fürst | On termination of the generalized GB algorithm | |
27.10. | T.N. Vo | Progress in PhD thesis & Stay in NYC |
3.11. | J. Capco | Generalizing concepts in field theory to rings |
10.11. | J. Capco | Generalizing concepts in field theory to rings |
24.11. | P. Riegler | Validating finite domain instances of verification conditions by SMT |
1.12., 15:30 | F. Schwarz (Fraunhofer, Bonn) | Decomposition of quasilinear second-order differential equations |
15.12. | A. Jimenez-Pastor | PDEs over graphs and applications |
16.12. | LARD meeting | |
19. 1. | K.L. Tran | Kähler differential algebras for 0-dimensional schemes |
Seminar schedules for previous years are available here.