Past Seminars 2003 | Computational Logic Laboratory

Papers written by our lab members

Software tools developed by lab members

A comprehensive list of links

Weekly Informal Computational Logic Seminars

To be added to the Computational Logic Seminars email list, please send mail to cl@cs.sfu.ca

Fall 2003 Plan: Meetings Thursdays 1:30pm - 2:20pm, ASB 9705.
Date	Room	Speaker(s)	Title
Dec. 11, 2003	ASB 9705	Jens Happe	Labelled Representations of Modal Formulas
Dec. 4, 2003	ASB 9705	Robert Ballantyne	Infinitary and Fixed-Point Logics
Nov. 20, 2003	ASB 9705	Oliver Schulte	Implementing Minimax Search in Logic Programs
Nov. 6, 2003	ASB 9705	Valentine Kabanets	Why is the "P vs. NP" question still open?
Oct. 23, 2003	ASB 9705, 1:30pm	Wei Luo	Descriptive Complexity for Learning Problems
Oct. 17, 2003	AQ3182, 12:30pm	Stephen Cook, University of Toronto	The P vs NP Problem and its Place in Complexity Theory
Oct. 9, 2003	ASB 9705, 1:30pm	Vladimir Uspensky, Moscow State University	Algorithmic Roots of G\"odel Incompleteness Theorem
Oct. 7, 2003	ASB 9896, 10:30am	Vladimir Uspensky, Moscow State University	Four Algorithmic Faces of Randomness
Sept. 18, 2003	ASB 9705	-	Introduction to the Computational Logic Lab

Summer 2003 Plan: Meetings Wednesdays 3pm - 4pm, in ASB 9705, unless otherwise posted.
Date	Room	Speaker(s)	Title
July 31, 2003	EAA 1100	Yuri Gurevich, Microsoft Research	The Theory of Abstract State Machines
July 29, 2003	EAA 1100	Yuri Gurevich, Microsoft Research	The Theory of Abstract State Machines
July 28, 2003	ASB 9705	Valeriy Bulitko	Bounded reducibilities and Post's Problem
July 23, 2003	ASB 9705	Leila Kalantari	A Method for Verification of ConGolog Programs
June 18, 2003	ASB 9705	Aaron Hunter	Spectrum Hierarchies and Subdiagonal Functions
June 11, 2003	ASB 9705	CL Group Members	CL Meeting
Thursday May 22, 2003	ASB9898, 10:30am	Darko Sarenac, Stanford University	Modal Logics for Product Topologies
Thursday May 15, 2003	K8652, 10:00am	Alasdair Urquhart, University of Toronto	Matrix identities and the pigeonhole principle

Spring 2003 Plan: Meetings Tuesdays 12:00 - 1:00pm, in ASB 9705, unless otherwise posted.
Date	Room	Speaker(s)	Title
April 30, 2003	ASB 9705	Jens Happe	A compact formalism for modal logics
April 23, 2003	Cancelled
April 17, 2003	Halpern Ctr. 2:30pm	Yuri Gurevich, Microsoft Research	Executable Specifications: The Abstract State Machine Approach
April 15, 2003	ASB 9896, 10:30	Yuri Gurevich, Microsoft Research	What is polynomial time anyway?
April 10, 2003	ASB 9896, 11:30-12:30	Maurice Pagnucco, University of New South Wales	The Role of Causality in Reasoning about Action
April 1, 2003	Cancelled
March 25,2003	ASB 9705, 12:30-1:30	Anoop Sarkar	Formal Language, Natural Language and Biological Sequences
March 18,2003	ASB 9705	David Mitchell	Negative Resolution is Weaker than Resolution
March 4, 2003	ASB 9705	Torsten Schaub	How to reason from inconsistency by 3-valued logic
Feb. 25, 2003	ASB 9705	Ray Jennings	The Preservationaist Approach to Paraconsistent Inference
Feb. 18, 2003	ASB 9705	Eugenia Ternovska, Oliver Schulte	"Games, kernels, and antitone operators" by Jorg Flum (continued)
Feb. 11, 2003	ASB 9705	Eugenia Ternovska, Oliver Schulte	"Games, kernels, and antitone operators" by Jorg Flum
Feb. 4, 2003	ASB 9705	David Mitchell	A New SAT Algorithm
Jan. 28, 2003	ASB 9705		Introduction to the Lab
Jan. 13, 2003	ASB 9896, 11:30am	Abhaya Nayak, Macquarrie University	Dynamic Belief Revision Operators

Past Seminars 2001-2002