Re:ICALP workshop proposal: Applications of New Proof Theory

> >Another thing I'd be interested in doing is having a discussion with 
> >the display calculus people. Perhaps Rajeev would be around in 
> >Europe and willing to do this. Rajeev?

Yes, I can try to be there. I don't know my dates yet but they usually
revolve around TABLEAUX.

http://www.uni-koblenz.de/~beckert/Events/Tableaux2005/

The other possibility would be to have a related workshop at TABLEAUX
2005 which will be in Germany this year (probably
Koblenz). Unfortunately, TAB is in Sept and ICALP in July. I doubt if
I could make it to both.

> >>Who do we know would be willing to do the soul-destroying task of 
> >>refereeing submissions?

As I suggested privately to Charles, we could have an informal PC for
this. Many people are willing to devote time and energy to workshops
if we just ask them.

> >That's something I can do. IMPORTANT CONDITION: for the usual 
> >political reasons I'm willing to participate only if there are no 
> >(widely disseminated) proceedings. Subsequent publication in 
> >journals is fine, of course, after further, careful journal-standard 
> >reviewing.
> I have no specific opinion on refereeing yet, as it depends on the 
> topics and number of submissions we expect to collect. I would like 
> to preserve the same spirit of meetings we had so far.

I agree, there is no need to worry about this right now. It usually
takes a couple of iterations of a workshop before anything concrete
eventuates. So I think Alessio's condition can certainly be met for
this first one.

Again, an ICALP proposal sounds good, but perhaps you want to consider
TABLEAUX as well ...

I am happy to be involved in either, or both, in any way you think is
useful.

Raj