PL Seminar Jr Nov 16, 2007 11am-1pm WVH 366 ================ Ryan Culpepper will present the Meta-Logic Safari Upcoming Talks -------------- - Nov 23: no meeting (Thanksgiving) - Nov 30: Christos Dimoulas: Shape Analysis - Dec 7: Dimitrios Vardoulakis: Computation Tree Logic