No subject

[Ines Dutra]

Dear all,

Please let us know if you intend to submit a paper to the workshop on 
Parallelism and Implementation Technology for (Constraint) Logic Programming.
Thanks!

Workshop organizers.



---------------------------------------------------------------------------
   Workshop on Parallelism and Implementation Technology for (Constraint)
                              Logic Programming

                               London, England
                             July 24 - 28, 2000
---------------------------------------------------------------------------

  Important Dates

       Submissions due:                       May 5th, 2000
       Notification of Acceptance:    June 2nd, 2000
       Final papers due:                        June 30th, 2000



  Call for Papers

  Copies of the general Call for Papers may be downloaded in Postscript from
  http://www.cos.ufrj.br/~parimp00/cfp.ps.
  More detail of the requirements of the CL2000 conference may be obtained
  from the conference pages http://www.doc.ic.ac.uk/cl2000.

-----------------------------
  Conference Topics
-----------------------------

Papers from both academia and industry are invited.
Preference will be given to the analysis and description of implemented
systems (or currently under implementation) and their associated techniques,
problems found in their development or design, and steps taken towards the
solution of these problems.

Topics include, but are not limited to:

   * standard and non-standard sequential implementation schemes (e.g.,
     generalization/modification of WAM, translation to C, etc.);
   * implementation of parallel logic programming systems;
   * balance between compile-time effort and run-time machinery;
   * techniques for the implementation of different declarative programming
     paradigms based on, or extending, logic programming (e.g., constraint
     logic programming, concurrent constraint languages, equational-logic
     languages);
   * performance evaluation of sequential and parallel logic programming
     systems, both through benchmarking and using real world applications;
   * other implementation-related issues, such as memory management,
     register allocation, use of global optimizations, etc.


-----------------------------
  Paper Submissions
-----------------------------

Authors willing to present their work are invited to submit an extended
abstract, or preferably a full paper, to the workshop organizers by May 5th,
2000.
Authors will be notified of the acceptance or rejection of their papers by
June 2nd, 2000.

Papers must not exceed 15 pages (approximately 5000 words). The title page
should include the name, address, telephone number, and electronic mailing
address for each author, as well as a 200 words abstract and a list of
keywords.
A contact author should also be provided. Please specify whether the
submitted paper is also under consideration (or accepted) for presentation
in other meetings.

Electronic submission of the LaTeX document and related postscript figures
is strongly encouraged. The electronic submissions should be in LaTeX or
PostScript format. LaTeX style files are available from 
http://www.cos.ufrj.br/~parimp00/styles.html.
We encourage the use of these formats.

At least one of the authors for each accepted paper is expected to attend
the meeting and present the work. The collection of accepted papers will be
made available at the workshop and published as a Technical Report. The
papers will also be available electronically after the workshop at the
workshop WWW address. Depending on the number and quality of the submissions, 
attempts
will be made to develop the workshop proceedings into some form of official
publication.

Authors are invited to submit their papers electronically in (compressed,
uuencoded) Postscript format to the following e-mail address:

                              ines at cos.ufrj.br

Important Dates:

          Submission: May 5th, 2000
          Notification of Acceptance: June 2nd, 2000


-----------------------------
  Conference Officials
-----------------------------

Organizing Committee:


         Name                    Affiliation
 Inês de Castro Dutra  COPPE/Systems Engineering and Computer Science,
 Vítor Santos Costa    Federal University of Rio de Janeiro

 Enrico Pontelli       Laboratory for Logic, DBs, and Advanced Programming
                       New Mexico State University

 Fernando Silva        LIACC
                       Universidade do Porto

 Manuel Carro          Department of Computer Science
                       Technical University of Madrid

Contact Address:

               Inês de Castro Dutra
               CL2000 Workshop
               COPPE/Department of Systems Engineering and Computer Science
               Universidade Federal do Rio de Janeiro
               Cx. Postal 68511, Ilha do Fundão
               Rio de Janeiro, RJ, 21945-970 - Brasil
               Fax: +55-21-590-2552
               e-mail: ines at cos.ufrj.br
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------