[TYPES/announce] CFP: NASSUE-2009 in conjunction with ISA'09; Deadline: Feb 19, 2009 (Final Extension)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Apologies for multiple posts --- SUBMISSION DEADLINE IS EXTENDED TO FEBRUARY 19, 2009 (FINAL EXTENSION)

[TYPES/announce] CFP: JACIL Special Issue on Unification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you receive multiple copies] ** EXTENDED DEADLINES | EXTENDED DEADLINES | EXTENDED DEADLINES |