LogiMAT 2023