Tag archive for LogiMAT 2017 Rückblick