[TYPES/announce] post-doc position for CertiCoq project

. You can find out more about the project here: http://www.cs.princeton.edu/~appel/certicoq/ Please apply or consider pointing your brilliant students our way! Greg Morrisett Cornell University

[TYPES/announce] CFP: ISMM'07

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ISMM'07 CALL FOR PAPERS ABSTRACTS DUE 7 MAY 2007 2007 ACM International Symposium on Memory Management To be co-located

[TYPES/announce] ISMM'07: call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ISMM'07 CALL FOR PARTICIPATION and Accepted Papers 2007 ACM International Symposium on Memory Management co-loca

Re: [TYPES/announce] reviewing, conference presentations, conference vs journal publications

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Deepak Kapur wrote: > How about the seemingly radical idea of allowing almost all > submissions/abstracts to be presented at prestigious CS conferences > including POPL, a tradition that