LogiMAT 2018