11.1454, Confs: Computational Logic (CL2000)

The LINGUIST Network linguist at linguistlist.org
Fri Jun 30 18:33:39 UTC 2000


LINGUIST List:  Vol-11-1454. Fri Jun 30 2000. ISSN: 1068-4875.

Subject: 11.1454, Confs: Computational Logic (CL2000)

Moderators: Anthony Rodrigues Aristar, Wayne State U.<aristar at linguistlist.org>
            Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>
            Andrew Carnie, U. of Arizona <carnie at linguistlist.org>

Reviews: Andrew Carnie: U. of Arizona <carnie at linguistlist.org>

Associate Editors:  Ljuba Veselinova, Stockholm U. <ljuba at linguistlist.org>
		    Scott Fults, E. Michigan U. <scott at linguistlist.org>
		    Jody Huellmantel, Wayne State U. <jody at linguistlist.org>
		    Karen Milligan, Wayne State U. <karen at linguistlist.org>

Assistant Editors:  Lydia Grebenyova, E. Michigan U. <lydia at linguistlist.org>
		    Naomi Ogasawara, E. Michigan U. <naomi at linguistlist.org>
		    James Yuells, Wayne State U. <james at linguistlist.org>

Software development: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
                      Sudheendra Adiga, Wayne State U. <sudhi at linguistlist.org>
                      Qian Liao, E. Michigan U. <qian at linguistlist.org>

Home Page:  http://linguistlist.org/

The LINGUIST List is funded jointly by Eastern Michigan University,
Wayne State University, and donations from subscribers and publishers.


Editor for this issue: Jody Huellmantel <jody at linguistlist.org>
 ==========================================================================
Please keep conferences announcement as short as you can; LINGUIST
will not post conference announcements which in our opinion are
excessively long.


=================================Directory=================================

1)
Date:  Fri, 30 Jun 2000 16:39:30 +0200 (MET DST)
From:  "F. van Raamsdonk" <femke at skiff.cs.vu.nl>
Subject:  Computational Logic (CL2000)

-------------------------------- Message 1 -------------------------------

Date:  Fri, 30 Jun 2000 16:39:30 +0200 (MET DST)
From:  "F. van Raamsdonk" <femke at skiff.cs.vu.nl>
Subject:  Computational Logic (CL2000)



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

                  http://www.doc.ic.ac.uk/cl2000

                      CALL FOR PARTICIPATION



CL2000 is the first conference in a major new series of annual
international conferences bringing together various communities
of researchers who have a common interest in Computational Logic,
where Computational Logic is to be understood broadly as the use of
logic in Computer Science.

The conference programme features 8 invited papers,
86 accepted papers, 12 tutorials and 7 in-line workshops.

Further information is available at the conference web site:

               http://www.doc.ic.ac.uk/cl2000

where you can also register for the conference, and make
hotel reservations.

Note that hotel accommodation in London at the time of the
conference will be in very heavy demand because of several
large international conferences and trade fairs taking place
at the same time. Participants are strongly advised to make
their hotel reservations AS SOON AS POSSIBLE.



CL2000 is collocating with the following conferences:

DOOD2000: 6th Int'l Conference on Rules and Objects in Databases
ILP2000: 10th Int'l Workshop on Inductive Logic Programming
LOPSTR2000: 10th Int'l Workshop on Logic-based Program Synthesis
            and Transformation

CL2000 includes seven streams covering various subfields of
computational logic, each with its own separate Program Committee:

   - Database Systems (DOOD2000)
   - Program Development (LOPSTR2000)
   - Knowledge Representation and Non-monotonic Reasoning
   - Automated Deduction: Putting Theory into Practice
   - Constraints
   - Logic Programming: Theory and Extensions
   - Logic Programming: Implementations and Applications

ILP2000 will be collocating as a separate conference.

---------------------------------------------------------------------------
LINGUIST List: Vol-11-1454



More information about the LINGUIST mailing list