CRM Workshop on Derived Categories