[TYPES/announce] TAMC 2008 - extension of deadline for paper submission

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** LNCS PAPER SUBMISSION DEADLINE EXTENDED TO DECEMBER 5, 2007 *** 5th ANNUAL INTERNATIONAL CONFERENCE ON

[TYPES/announce] Call for Papers: SafeCert with ETAPS 2008

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == SafeCert 2008 International Workshop on the Certification of Safety-Critical Software