Sponsors:

CSLI (Center for the Study of Language and Information)

Logic in Action: A Spinoza Award Project

Provost's Office at Stanford University

School of Humanities and Sciences at Stanford University

Department of Philosophy at Stanford University

Symbolic Systems Program at Stanford University

Department of Linguistics at Stanford University

Tiqit Computers

Kraft Media

Association for Symbolic Logic

Department of Computer Science at Stanford University