Extending a formal theory of natural language semantics to sign languages has provided insights into a variety of phenomena at the intersection of natural language and logic. In the 4 years since the last course on sign language semantics was taught at ESSLLI, there has been rapid progress in the study of sign language semantics, especially in how representations of space can be incorporated into a formal system. This class will cover significant recent advances focusing on the relationship between discourse referents and spatial loci as well as the expression of quantificational domains, plurality, role shift, and classifier constructions. The goal of this course is to provide students with a strong background for following future research contributions coming from sign language research in order to incorporate the unique insights that sign languages show into their own research topics. No prior knowledge of a sign language is required.