PROSOFT@NT 2016 – ENGLISH