Tag archive for LogiMAT. LogiMAT 2017