This course builds upon the training and background received in Linguistics 510 (Introduction to Semantics) and introduces undergraduate students to some more advanced topics and issues in formal semantic theory. Students will gain a broadened understanding of semantic theory, its formal tools, and the variety of natural language phenomena they can insightfully analyze. In addition, students' engagement with the field of semantics will be deepened, through critical discussion of primary sources, as well as through the completion of a final research project.