[TYPES/announce] 1st CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === 1st Call For Papers WFLP 2008 17th Internatio

[TYPES/announce] 1st CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** 1st Call For Papers 4th International Workshop on Automated Specif

[TYPES/announce] Call for papers: ESHOL workshop at IJCAR 2008

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- Call for papers: ESHOL'08 The workshop *Evaluation of Systems for