Recent Talks of Neil Immerman

• You Can't Get There From Here: Reasoning About Reachability in Shape Analysis: a talk I gave at the UMass, Amherst Theory Seminar and at the Logic Seminar at M.I.T., Fall, 2007.

• Descriptive Complexity and Nested Words: an invited survey talk on the above topics given at LATA 2007 in Tarragona, Spain, March, 2007.

• Descriptive Complexity: a survey talk on Descriptive Complexity that I gave as distinguished lecture at Simon Frasier University and as a theory seminar in the UMass Computer Science Department, both in February, 2007.