LogiMAT 2017