Notes of the Second International Workshop on Strategies in Rewriting Proving and Programming (IWS)