Don’t forget IDA 2017 symposium deadline is 19th May!:
http://www.dcs.bbk.ac.uk/ida2017/

Updated on 5th May 2017.