2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword