LeanChallenge 2020

22.-24. April in Heidelberg