SMT 2023 IG Meeting