Series: LogiMAT 2022