Videos of the workshop are now available:
https://www.youtube.com/playlist?list=PLyrlk8Xaylp5RClBgHPzLcqKumOZvJqno
Nice mix of research and tools are presented, my favourite being this promising bi-directional typechecking approach for Erlang:
The source code for prototype seems available: GitHub - vrnithinkumar/ETC: ETC
