Re: [TYPES/announce] Reynolds Festschrift

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] It seems that the long url in the message below got messed up in transit. This shorted one should work. http://tinyurl.com/24narx Peter On 21 May 2007, at 19:31, Peter O'Hearn wrote

[TYPES/announce] Extended deadline - LSFA 2007 (CFP)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Extended Deadline Mai the 31st, 2007 http://www.mat.unb.br/lsfa2007 ===> Proceeding as a volume of Elsevier ENTCS confirmed <=== LSFA'07 - Second Workshop on Logical and Semantic F

[TYPES/announce] Final CFP: APLAS 2007 (Deadline: June 15, 2007)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Recent updates: (1) Submission site is now open: (2) New info about invited speakers.