[TYPES/announce] CFP: Call for papers, Coq Workshop (Edinburgh, July 9)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] lease help disseminate this call for papers Two changes in the call for papers: 1/ papers describing experiments in other type theory-based proof assistants are explicitly invited to this

[TYPES/announce] CFP CICLOPS-WLPE 2010 at FLoC (Edinburgh, 15 July)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Call For Papers CICLOPS-WLPE 2010 J

[TYPES/announce] 2nd CfP: PPDP'10

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Call for Papers PPDP 2010 12th International AC