[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 Workshop on Developments in Computational Models
   ** Causality, Computation, and Physics **

  http://www.amsta.leeds.ac.uk/~pmt6sbc/DCM10/
   Edinburgh, Scotland
 9-10 July 2010

  Deadline for abstracts: 01 April, 2010

A satellite event of FLoC - http://www.floc-conference.org/
=

DCM 2010 is the sixth in a series of international workshops focusing on new
computational models. It aims to bring together researchers who are
currently developing new computational models or new features of a
traditional one. And to foster interaction, to provide a forum for
presenting new ideas and work in progress, and to enable newcomers to learn
about current activities in this area.

DCM 2010 will be a two-day satellite event of FLoC 2010, with a special
focus on the theme 'Causality, Computation, and Physics'. Day 2 of the 
Workshop will have an emphasis on quantum computation and physics, held as  
Quantum Information Science Scotland (QUISCO), and is co-sponsored by 
Scottish Universities Physics Alliance (SUPA) and Scottish Informatics 
and Computer Science Alliance (SICSA). 

Topics of interest include all abstract models of computation and their
properties, and their applications to the development of programming
languages and systems:

- quantum computation, including implementations and formal methods in
quantum protocols;
- probabilistic computation and verification in modelling situations;
- chemical, biological and bio-inspired computation, including spatial
models, self-assembly, growth models;
- general concurrent models including the treatment of mobility, trust, and
security;
- information-theoretic ideas in computing.

PLEASE SUBMIT an extended abstract (of around 12 pages or less) in PDF
format to the conference EasyChair submission page:

  https://www.easychair.org/login.cgi?conf=dcm2010

by the deadline:
 01 April, 2010.

Accepted contributions will appear in a pre-proceedings special issue of 
the EPTCS (Electronic Proceedings in Theoretical Computer Science). 

After the workshop, full versions of selected papers will be invited for 
a special issue of the internationally leading journal Mathematical 
Structures in Computer Science (MSCS).

IMPORTANT DATES:

Submission deadline for abstracts: 01 April, 2010
Notification: 26 April
Workshop: 9-10 July, 2010

CONFIRMED INVITED SPEAKERS:

Cristian Calude (Auckland, New Zealand)
Russ Harmer (Paris/Harvard)
Gordon Plotkin (Edinburgh)
Vlatko Vedral (Oxford)

PROGRAMME COMMITTEE:

S Barry Cooper (Leeds, Co-chair) 
Prakash Panangaden (McGill, Co-chair) 
Elham Kashefi (Edinburgh, Chair QUISCO 2010) 
Paola Bonizzoni (Milan) 
Olivier Bournez (Paris) 
Vincent Danos (Edinburgh, CNRS) 
Mariangiola Dezani (Torino) 
Andreas Doering (Oxford) 
Maribel FernC!ndez (London) 
Joseph Fitzsimons (Oxford) 
Ivette Fuentes-Schuller (Nottingham) 
Simon Gay (Glasgow) 
Jean Krivine (Paris) 
Ian Mackie (Ecole Polytechnique) 
Damian Markham (Paris) 
Daniel Oi (Strathclyde) 
Simon Perdrix (Edinburgh and Paris) 
Susan Stepney (York) 
John Tucker (Swansea)

=
Further information:  Barry Cooper, pmt6...@leeds.ac.uk, 
  Prakash Panangaden prak...@cs.mcgill.ca 
=


[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 feedback from the
| community.  The proposal aims to improve the decision process for POPL
| while still working in a fixed time frame and with bounded resources.

Thank you for broadcasting the proposal, and offering the opportunity
for feedback. I can't come to POPL this year, but I do have opinions
about this proposal, so I thought I would put them in writing.  I'm
sending this response only to the TYPES mailing list.

Many people are concerned about the publication norms that have
developed in our field [1,2,3,4].  In particular, we have evolved a
somewhat bizarre system in which we place tremendous weight on
publication in premier conferences with extremely low acceptance
rates.  Promotion and tenure can depend on publication in these
venues.  Yet anyone who has served on a program committee knows that
(a) the evaluation is fairly rough and ready, and (b) it is hard to
avoid a tendency to pick well-executed but incremental papers over
more adventurous but flawed work.

The current proposal for POPL is presumably a direct response to this
situation. But I believe its main thrust, to invest yet more effort in
the selection process, is addressing the wrong problem.  The problem is
not that program committees are selecting the *wrong* papers.  The
problem is that they are selecting too *few* papers.

Before developing these claims, I want to mention some real advantages of
the current conference system.

* It is quick -- and *predictably* quick. There is a delay of only a
  few months between submission and presentation; and there is never
  any slippage, because the conference itself is immoveable.

* It is a *fantastic* deal for authors. The most precious commodity for
  any author is the focused attention of other experts in the field.
  When I began my academic career an author would be lucky to get
  three scrawled sentences of review, on physical scraps of paper.
  Nowadays authors get between three and six substantial, thoughtful
  reviews.  That is gold dust.

* Reviewing is recognised to be rough and ready.  Everyone knows that
  there is no time to hunt for the perfect reviewer. The reviewers
  know they have limited time for their work, and cut their cloth
  accordingly.  For that very reason they are more inclined to agree
  to write a review than if they are asked to review a 60-page journal
  paper when they are supposed to do a bang-up thorough job.  Program
  committee members review 20-30 papers, and simply cannot spend days
  on each; and the universal acceptance of this fact is what makes
  people willing to serve on PCs

  I regard this limited time-budget for each review as a major
  advantage.  80% of the benefit of a review comes from the first 20%
  of investment.  Yes, individual injustices are sometimes done, and
  all of us have been on the receiving end, but in the aggregate it is
  a very efficient evaluation mechanism.  That is, it is not
  perfectly accurate, but it is a *very effective use of reviewing
  bandwidth*.

* Much has been written about the evils of banging out papers to meet
  conference deadlines, and no one would defend salami-slicing
  incremental papers instead of working in a sustained way on
  adventurous research.

  Less has been written about the intellectual *advantages* of writing
  frequently. My own experience is that the act of writing a paper is
  tremendously enlightening.  I learn that I do not understand what I
  though I understood.  The act of putting ideas onto paper forces
  clarity, or at least exposes muddy thinking.  It puts thoughts into
  a form when they can be shared with others.

  Since I am a weak mortal, the incentive of a conference deadline is
  often just what I need to force me to action.  

In short, there are really good things about our current system that we 
do not want to lose.

All that said, clearly something is wrong at the moment.  POPL is
getting 250 submissions, and accepting 30-40.  That means that many
fine papers are being rejected, and among the best 60 papers there is
a strong element of chance about which ones end up being accepted.  
The same is true of PLDI, and perhaps to a lesser extent, of ICFP.
(I don't have personal experience of the OOPSLA program committee.)

We cannot fix this, as some would wish, by changing the culture to make
journal publications be regarded as more valuable than conference
ones.  If this happened, the spotlight would just shift to journals,
which would be overwhelmed with submissions; and we would lose many
of the advantages I outline above.  But in any case it's a
non-starter. No one can wave such a magic wand: cultures are *hard* to
shift.

Nor can we fix the problem by investing more 

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 year, I follow Simon in  
posting to the mailing list instead.

On Jan 11, 2010, at 4:46 PM, Simon Peyton-Jones wrote:

 [ 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 feedback from the
 | community.  The proposal aims to improve the decision process for  
 POPL
 | while still working in a fixed time frame and with bounded  
 resources.

 Thank you for broadcasting the proposal, and offering the opportunity
 for feedback. I can't come to POPL this year, but I do have opinions
 about this proposal, so I thought I would put them in writing.  I'm
 sending this response only to the TYPES mailing list.
...