1. (2009). Algebraic Analysis and Computer Algebra (AACA 2009), Summer School on Algebraic Analysis and Computer Algebra , RISC-Linz (Austria, 13-17/07/09):

    1. Constructive Algebraic Analysis & Algebraic Systems Theory ( slides1.pdf , Exercises1.pdf ).
    2. Stafford and Quillen-Suslin theorems: Algorithms and applications ( slides2.pdf , Exercises2.pdf ).
    3. Factorization, reduction and decomposition problems ( slides3.pdf , Exercises3.pdf ).
    4. Reduction of linear systems based on Serre's theorem ( slides4.pdf , Exercises4.pdf ).
  2. (2008). Winter school on algebraic analysis and algebraic systems theory, Korea Institute for Advanced Study (KIAS) , Seoul (South Korea):

    1. Introduction to constructive algebraic analysis ( slides1.pdf ).
    2. Quillen-Suslin theorem: algorithms and applications ( slides2.pdf ).
    3. Stafford theorem: algorithms and applications ( slides3.pdf ).
    4. Factorization, reduction and decomposition problems ( slides4.pdf ).
  3. (2007). "Une introduction aux méthodes du calcul formel", ISIA, Mines de Paris, Sophia Antipolis (France).
  4. (2006). "An introduction to control theory", MAP 2006 , Castro Urdiales (Spain, 09-13/01/06) ( slides1.pdf , slides2.pdf ).
  5. (2003). " Linear control theory: an effective algebraic analysis approach", University of Kaiserslautern (Germany, 20-22/10/03) ( slides1.pdf , Maple_examples.pdf , slides2.pdf ).