English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
CL2000: call for workshop proposals
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-11-12 (09:18)
From: femke@c...
Subject: CL2000: call for workshop proposals
                *** apologies for multiple copies ***


        First International Conference on Computational Logic
        Imperial College, London, UK, 24th to 29th July, 2000


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.

Workshop Coordinator: 

	Sandro Etalle 
	Dept. of Computer Science, 
	University of Maastricht, 
	P.O. Box 616, 6200 MD Maastricht 
	email: etalle@cs.unimaas.nl	
	Fax: ++31 (0)43 3884897