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

Here you will find a compendium of links to various resources on logic, artificial intelligence, computability, complexity as well as links to conferences, journals and other research groups.

General Resources

Professional Associations and Societies



External Research Groups/Researchers

SFU Research Groups\Labs