Atlas home || Conferences | Abstracts | about Atlas

Reunion Workshop on Implementations of Logic

November 11-12, 2000

Reunion Island, France

Mathematics

Homepage: http://www.cs.man.ac.uk/~voronkov/LPAR/2000/workshop.html

Description:
The main theme of the workshop is how to implement logic efficiently. Typical topics of interest are:

how to prune search space; algorithms and data structures; implementation heuristics; experiments and case studies.

Date received: September 02, 2000

© 2008 Atlas Conferences Inc.