ICALP workshop proposal: Applications of New Proof Theory

Dear Amphibians,

I talked yesterday with Alessio about the possibility of putting
together a workshop that would highlight the kind of proof theory
that we like: deep inference, rewriting modulo, and generally
good proof theory.  I think the idea of "new proof theory" is a way
to get away from the unhealthy conservatism that cripples so much
work on proof theory done in the LICS community.

The call for workshop proposals is here:
  http://icalp05.di.fct.unl.pt/wscall.html

The due date for proposal submission is:
  Sunday, 28th November 2004 (ie. one month)

The workshops will be held some week in July 2005.

There is not much time to put together a good workshop proposal, so
we have to work fast if we are to do this.  Questions to ask are:
  - Is this a good title for the workshop?
  - Who would be interested in organising all the things that need
  to be organised?
  - Who probably doesn't have much time to help, but would like to
  be involved to some degree?
  - Who might submit papers to such a workshop?  In what areas?  How
  many papers altogether?  Who do we know would be willing to do the
  soul-destroying task of refereeing submissions?
  - Who would be suitable to invite to be Invited Speakers?

Comments on the above or anything I have omitted welcome.  I think we
should decide whether or not to put together a proposal by the end of
next week (ie. Friday, 5th November 2004).

Best,

Charles