PL Seminar, Jr. Friday, Nov 9, 2007 11am - 1pm WVH 366 ==================== David Fisher will discuss Syntactic Extension via Silver AG. Upcoming Talks ============== Nov 16: Ryan Culpepper: THe Meta-Logic Safari Nov 23: no meeting -- Thanksgiving Nov 30: Christos Dimoulas: Shape Analysis Dec 7: Dimitrios Vardoulakis: Computation Tree Logic