14/09/2001, Friday, 16:30–17:30 Room P3.10, Mathematics Building Krzysztof Worytkiewicz, École Polytechnique Fédérale de Lausanne Simulations of imperative programs