Stability and stable groups in continuous logic
  We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity. 
Ita\"i Ben Yaacov (ICJ)