Computational Logic Informal Seminar at Simon Fraser University - Fall 2001

The Computational Logic Informal Seminar Series will continue
this term, beginning this Friday, with meetings held every other 
(or sometimes every) Friday afternoon at 2:30 pm, in ASB 9705.

The interests of the CL Lab can be roughly described as the
study of logics which are useful for representing or solving
computational problems, and computational aspects of those
logics.  For further information, see the Lab web page at
http://www.cs.sfu.ca/~cl/.

The tentative plan for the first few meetings (titles are 
very approximate), is:

Jan 18  Oliver Schulte - A Crash Course in Game Theory
Feb  1  Eugenia Ternovska - Non-monotone Inductive Definitions
Feb 15  Dave Mitchell - Between Resolution and Frege
Mar  1  Oliver Schulte - Game Theory and Situation Calculus
Mar 15  Jim Delgrande - TBA

This is the only broadcast announecement we will make this term.  
If you would like to be on the mailing list to receive further 
announements, please send email to cl@cs.sfu.ca