Changes

complexity classes NP, co-NP, ETR (Existential Theory of Reals) and UTR (Universal Theory of Reals),  

complexity classes NP, co-NP, ETR (Existential Theory of Reals) and UTR (Universal Theory of Reals),  

and new classes PPAD and FIXP, we will provide a broad overview of this theory as it stands today.  

and new classes PPAD and FIXP, we will provide a broad overview of this theory as it stands today.  

The picture is intensely beautiful! The area still has low-hanging fruit -- we will indicate where

The picture is intensely beautiful! The area still has low-hanging fruit -- we will indicate where.