Model Theory of Operator Systems and C${}^{\ast }$-Algebras

We survey the model theory of operator systems and C${}^{\ast }$-algebras.