[TYPES/announce] DCM 2010 in Edinburgh - First Call for Papers

2010-01-11 Thread S B Cooper
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = First Call for Papers DCM 2010 6th International

[TYPES/announce] Two phase reviewing for POPL; a response

2010-01-11 Thread Simon Peyton-Jones
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Colleagues | Request for comments: Two-phase reviewing for POPL ... | The POPL Steering Committee has formulated the following proposal, | which we are circulating for discussion and

Re: [TYPES/announce] Two phase reviewing for POPL; a response

2010-01-11 Thread Matthias Blume
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I would like to thank Simon for his extremely thoughtful response! I agree with him 100% and hope that many others will as well. Matthias PS: As I am also unable to attend POPL this