Is Area-Universality UETR-complete? Wed, Nov 15, 2017 12:00 CET Speakers: Till Miltzow Tags: Existential Theory of the Reals