Department of Mathematics
Indiana University
831 East Third Street
Bloomington, IN 47405-7106 USA
(812) 855-8281
lsm at cs dot indiana dot edu
I spent 2006-07 on sabbatical in Kisii, Kenya. For photos from it, click here.
Be sure to check out the page of NASSLLI.
For a free online textbook on computability theory, including an applet, see the text register machine course.
My slides of from the 2010 North American Annual Meeting of the Association for Symbolic Logic are here.
My slides of a lecture at the Workshop on Natural Logic, Proof Theory, and Computational Semantics are here.
Lecture notes and slides from my ESSLLI course on Logics for Natural Language Inference are here.