Invited Speakers.- Algebraic Approaches to Problem Generalisation.- A Science of Software Design....