The human ability to convey information about possible past, present, and future configurations of things in the world is undergirded by systematic relationships between intricately structured linguistic expressions and the dizzying array of conceptual categories available to humans. The Formal And CompuTational Semantics lab (FACTS.lab) at the University of Rochester investigates (a) which of these conceptual categories can be related to which sorts of linguistic expressions, (b) what those relationships look like, and (c) how they can be leveraged for building better natural language understanding (NLU) systems.


FACTS.lab is located in Wegmans Hall (Room 4107) at the University of Rochester, which also houses the Goergen Institute for Data Science and the Department of Computer Science.


FACTS.lab has shirts, hats, mugs, and stickers. Send an email to if you’re interested in getting some.


If you’re interested in joining FACTS.lab or collaborating with its members, you can send an email to