The Formal And CompuTational Semantics lab (FACTS.lab) at the University of Rochester investigates natural language semantics by combining logical and algebraic approaches to meaning with current developments in artificial intelligence and machine learning.


FACTS.lab is currently located on the University of Rochester’s River Campus in Lattimore Hall, Room 511A. It will soon relocate to the the University of Rochester’s state-of-the-art Wegmans Hall, which also houses the Goergen Institute for Data Science and the Department of Computer Science.


You can follow the latest FACTS.lab news on twitter at @factsemlab. If you’re interested in joining FACTS.lab or collaborating with its members, you can send an email to