Find out about the people who work in the lab Papers written by our lab members Current research activities in the lab A list of our seminars can be found here Software tools developed by lab members A comprehensive list of links

About the Lab

The SFU Computational Logic Lab is a group of researchers interested in the study of logics which are useful for expressing or solving computational problems, and the computational properties of those logics.

There are many connections between logic and computation. Historically, the best-known is in the study of computability, which also led to the discovery of deep connections between logic and complexity theory. Other areas where logic has played an important role in progress on problems of computational interest include programming languages, database theory, artificial intelligence, system specification and verification.

Interests of the members of the group include, among other areas, logics for knowledge representation and for representing and reasoning about dynamic systems, belief revision, theorem proving, constraint satisfaction, database theory, and complexity of related computational tasks.

Mailing address:
Computational Logic Laboratory
School of Computing Science
Simon Fraser University
Burnaby, British Columbia
Canada V5A 1S6

TASC 9000



Last updated on November 15, 2006
Maintained and designed by the Computational Logic Lab: cl @ cs. sfu. ca