COMPULOG NET Network of Excellence

The ESPRIT Basic Research funded COMPULOG NET (New) is a large European community of researchers consisting of more than 80 nodes in leading European universities and industries. Nodes are classified according to their role in the network or their size. In particular, there are coordinating nodes, regular nodes, associate nodes, industrial nodes and members that are usually attached to some node.

This document contains information on the European ESPRIT Basic Research COMPULOG NET Network of Excellence (NoE), concerned with the area of Computational Logic, which is available on the World Wide Web (WWW or W3), a global hypermedia system providing worldwide information. In particular, an anonymous FTP archive on COMPULOG is provided at the Department of Computer Science, Katholieke Universiteit Leuven, Belgium.

The following information is available on-line:

* Contact details
* List of Node Sites
* Other information

Contact details

To join or leave the COMPULOG NET electronic mailing list, please email compunode-request@ecrc.de with your contact details. To submit articles, letters, events, etc., to the editorial board of the COMPULOG official newsletter Computational Logic, please email compunews@ecrc.de. The Editor in Chief is Antonios C. Kakas, University of Cyprus, Nicosia, who can be contacted on compulog@jupiter.cca.ucy.cy.

If you are interested in joining the COMPULOG NET, to become a new node or member, please email Paola Mello at DEIS, University of Bologna on pmello@deis.unibo.it. Please include the following information:

For general information and enquiries about the network, please contact the Coordinator of the network, David Pearce at DFKI on pearce@dfki.uni-sb.de.

List of Node Sites

The following have a directory in the central FTP site at Leuven. A link to the FTP directory together with further direct World Wide Web (WWW) links if available is provided for each site.

The following nodes have no directory at the central FTP site, but have direct WWW links:

The following European network is associated with COMPULOG:

The nodes in SOL are: INRIA-Nancy (coordinator), LRI (Orsay, Univ. Paris XI), ECRC (München), UNL (Lisboa), and LIACC (Porto).

The contents of the central directories linked above is determined and maintained by some person responsible at the corresponding node of the COMPULOG NET. It may include some general information about the node (address, person to contact, list of active researchers, descrip- tion of main research topics), a list of publications by the researchers of the node, abstracts of the publications, etc. The information is stored in free format.

Other information

See also general information on logic programming and artificial intelligence in the WWW Virtual Library. The ESPRIT ProCoS family of projects and Working Group (New) on Provably Correct Systems may be of interest.

COMPULOG is coordinated by David Pearce.

This information was collated by Jonathan Bowen.
Last updated on 9 December 1996.
Further information for possible inclusion is welcome.

Part of the OUCL archive.