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 bestknown 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 
Laboratory:
TASC 9000
Phone:
+16042687008 
Fax:
+16042913045 


