[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Although this announcement doesn't specifically mention "types", it
is of interest to the Types community. AMAST is largely about the
interaction of mathematical analyis and software techn
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
I am in complete agreement with Simon, and strongly opposed to the
proposed plan to change the POPL reviewing process.
Bob Harper
On Jan 11, 2010, at 5:46 PM, Simon Peyton-Jones wrote:
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Simon and others,
thanks for the feedback. While I am a member of the POPL SC until
January, this email is my personal opinion and is not to be
construed as something anyone else on the
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
It seems to me that the two phase reviewing proposal is meant to address
the problem that PCs are over-conservative, and they reject quirky
ideas,
that are not so well worked out.
If so,
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
4 PhD positions in Formalization of Mathematics in Type Theory
We are looking for students with a strong interest in functional programming
and mathematics for two projects in formalizati
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
I am very much in favor of strongly encouraging the PC to increase the
number of accepted papers. I'd tend to go to parallel sessions to
accommodate the increased number of talks. In additio
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We invite theoretical computer scientists (with a PhD degree no more than 5
years old) to apply for two tenure-track assistant professorships in "basic
science" at Chalmers University of T
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi, Matthias.
Thanks for the clarification about the motivation behind the rather
significant proposed change to the POPL review process.
There seem to be three major concerns: (1) rejecti
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
I applaud the POPL SC for making a proposal to make reviewing fairer,
which I support. I am also supportive of increasing the number of
accepted papers.
But that is not the reason for mak
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi,
Quoting from the proposal:
| * Other conferences are moving to a year-round refereeing process
| closer to that used by journals; for instance VLDB is now linked to
| a journal PVLDB.
[ 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
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Thanks to Simon Peyton-Jones for sharing his articulate and
well-reasoned thoughts with us. I agree that there are too few papers
accepted at the best conferences and that the problem is
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==
First call for papers
CS2Bio'10
1st International Wo
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The current two-phase proposal sounds to me as if it will significantly
increase the amount of reviewing work without significantly increasing
the quality of the reviewing process, for the
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
1. Regarding the proposal of Simon Peyton-Jones to choose papers randomly from
a list of papers judged worthy by a program committee:
Last year I was talking to a college president in the
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
On 12 Jan 2010, at 09:50, martin odersky wrote:
> I would start
> the conference off with a poster session where every accepted paper is
> presented.
I think this is a great idea, and
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
"lek"-- what a wonderful word! Thank you, Prakash, for bringing it to our
attention. Now on to more serious comments:
I agree with most of the commenters here that the POPL proposal goes
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Along the lines of Prakash's comments, I'd like to offer a different
proposal. I take as a starting point the "conventional wisdom" that the
papers accepted at the leading conferences are no
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
> I would like to push for the idea that we accept many more
> papers (perhaps double the present number) and present them at poster
> sessions and have them appear in the proceedings as is
19 matches
Mail list logo
