03.2010, An L2-quotient algorithm for finitely presented groups, Second Killing and Weierstrass Colloquium, Braniewo
04.2007, "Constructive aspects of Quillen-Suslin theorem and its applications", Radboud Universiteit Nijmegen
10.2006, "Quillen-Suslin theorem and its applications", Uniwersytet Gdański, Gdańsk
07.2006, "Flat multidimensional linear systems with constant coefficients are equivalent to controllable 1-D linear systems", A.F. and A. Quadrat, MTNS, Kyoto
06.2006, "An introduction to the constructive version of the Quillen-Suslin theorem", Universidad de Sevilla
05.2006, "Kostruktive Basisbestimmung für Moduln über Polynomringen (Satz von Quillen-Suslin)", Graduiertenkolleg, RWTH Aachen
04.2006, "An introduction to the constructive Quillen-Suslin theorem and its applications", INRIA, Sophia Antipolis