Logic Colloquium
August 11–16, 2019
Prague