[om-a] CL2000: call for workshop proposals
Raamsdonk van F
femke at cs.vu.nl
Thu Nov 11 16:01:27 CET 1999
*** apologies for multiple copies ***
First International Conference on Computational Logic
Imperial College, London, UK, 24th to 29th July, 2000
CALL FOR WORKSHOP PROPOSALS
CL2000 is the first conference in a major new series of annual
international conferences bringing together the various communities of
researchers who have a common interest in Computational Logic.
CL2000 includes seven streams covering various subfields of
computational logic. DOOD2000 (6th International Conference on Rules
and Objects in Databases) and LOPSTR2000 (10th International Workshop
on Logic-based Program Synthesis and Transformation) will be streams
within CL2000. Moreover, the International Conference on Logic
Programming (ICLP) is now integrated into CL2000. ILP2000 (10th
International Conference on Inductive Logic Programming) is also
collocated with CL2000.
The organisation of CL2000 will provide facilities for half-day and
one-day workshops, to be held on Saturday July 29th.
Researchers and practitioners are invited to submit proposals for
workshops on topics in computational logic.
Anyone wishing to organise a workshop should send (possibly by email,
in text or html format) a proposal no longer than two pages to the
workshop coordinator by
December 20, 1999
The proposal should describe the topic of the proposed workshop and
its relevance to computational logic. Besides the contact information
and the list of the organisers, the proposal should contain - when
applicable - the following information:
- proposed duration of the workshop (half day/one day),
- description of previously organised similar workshops,
- expected number of participants,
- character of the workshop (formal/informal, via
- plans for publication of the proceedings.
The workshop organisers will be responsible for maintaining a
homepage, and for producing one hard copy of the proceedings in A4 or
US-letter format. Organisers who whish to use a format different than
A4 or US-letter are expected to produce the needed copies of
proceedings as well.
Proposals will be evaluated by the program committee and decisions
will be made by January 10, 2000. Further information about the
arrangements for workshops can be obtained from the workshop coordinator.
Dept. of Computer Science,
University of Maastricht,
P.O. Box 616, 6200 MD Maastricht
email: etalle at cs.unimaas.nl
Fax: ++31 (0)43 3884897
om-announce at openmath.org - public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems
More information about the Om-announce