> >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
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.