URGENT: Extension to workshop submission deadline - 13 May midnight

Hi all, Just to let you know that the organisers have extended the workshop proposal submission deadline to midnight on 13 May to allow you all more time to discuss and develop your ideas cross-CDT. Mentors have now been assigned to all current ideas in progress and a Mentor will be assigned to new threads when submitted. Any queries, please do get in touch.