On the first day, a multidisciplinary Satellite Workshop - ??Formal Methods Elsewhere?? - was devoted to applications of FM??s to areas other than communication protocols and distributed systems, such as physics, chemistry, biology, social sciences, arts and humanities, music.