Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.lsi.upc.es/~roberto/lpar2001.html
Organizers: Robert Nieuwenhuis (Barcelona), PC co-chair, Andrei Voronkov (Manchester), PC co-chair
Description:
Automated reasoning;
interactive theorem proving;
implementations of logic;
design of logical frameworks;
program and system verification;
model checking;
rewriting;
logic programming;
constraint programming;
logic and databases;
logic and computational complexity;
specification using logics;
logic in artificial intelligence;
lambda and combinatory calculi;
constructive logic and type theory;
computional interpretations of logic;
logical foundations of programming;
logical aspects of concurrency;
program extraction from proofs;
linear logic;
modal and temporal logics;
knowledge representation and reasoning;
reasoning about actions;
description logics;
nonmonotonic reasoning.
Date received: April 29, 2001
© 2008 Atlas Conferences Inc.