SAT/SMT/CA workshop, TU Wien, March 13-17, 2023
APRe workshop, ERC/Wallenberg project event, TU Wien, November 5-6, 2019