Atlas home || Conferences | Abstracts | about Atlas

LPAR'2000 7th International Conference on Logic for Programming and Automated Reasoning

November 6-10, 2000

Reunion Island, France

Mathematics

Host: Hotel les Aigrettes
Homepage: http://www.cs.man.ac.uk/~voronkov/LPAR/2000/general.html

Organizers: Teodor Knapik (University of Reunion), Pascal Manoury (University of Paris VI), Andrei Voronkov (University of Manchester)

Date received: September 02, 2000

© 2008 Atlas Conferences Inc.