Series: LogiMAT 2023