DisCoTec 2020 Workshop ICE Submissions