Modal logic workshop at CMU

I spent yesterday at a workshop devoted to modal logic at Carnegie Mellon University. Rather than rehearse everything that happened, I'll simply point interested parties to the workshop webpage, which has abstracts for the talks. Mostly local folks presented their work, but Johan van Bentham from Amsterdam and Stanford was here, along with Rohit Parikh, who'll be presenting on Monday as well.

I certainly learned a lot, and even though my brain was hurting afterwards, I enjoyed myself too.