THEOR 2017