MBR'01 Final program (Model-Based Reasoning. Scientific Discovery, Technological Innovation, Values, Pavia, Italy, May 17-19, 2001 http://www.unipv.it/webphilos_lab/courses/progra1.html