This book constitutes the refereed proceedings from the Second International Workshop on Foundati...