TAP22: TESTS AND PROOFS 2022
Invited Speaker

Marie-Christine Jakobs, TU Darmstadt, Germany