The Art Gallery Problem is $\exists \mathbb{R}$-complete Wed, May 17, 2017 12:30 CEST Speakers: Till Miltzow Tags: Art Gallery Problem, Existential Theory of the Reals Paper available on arXiv.