Graduate seminar at UConn. The seminar was divided in a part on formal syntax (topics included: categorial grammar, CFGs, Minimalist Grammars, …) and a part on formal semantics (topics included: lattice theory, generalized quantifiers, inquisitive semantics, …). Syllabus