Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!utcsri!utegc!utai!nishi
From: nishi@utai.UUCP
Newsgroups: ut.theory
Subject: student seminar
Message-ID: <4146@utai.UUCP>
Date: Mon, 9-Nov-87 11:23:18 EST
Article-I.D.: utai.4146
Posted: Mon Nov  9 11:23:18 1987
Date-Received: Tue, 10-Nov-87 02:36:45 EST
Organization: CSRI, University of Toronto
Lines: 9



This week's speaker will be Bruce Kapron, who will 
speak about definability and complexity. The meeting will be held in
GB412 from 2:00-3:00 on Wednesday, November 11.

We will discuss the characterization of some complexity classes via
definability over finite structures in extended first order languages.
Some knowledge of first order logic is assumed.