Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site deepthot.UUCP
Path: utzoo!watmath!deepthot!mary
From: mary@deepthot.UUCP (Mary MacVicar)
Newsgroups: ont.events
Subject: Colloquium - Playing Games in the Dot-Depth Hierarchy
Message-ID: <276@deepthot.UUCP>
Date: Mon, 9-Apr-84 10:49:16 EST
Article-I.D.: deepthot.276
Posted: Mon Apr  9 10:49:16 1984
Date-Received: Tue, 10-Apr-84 08:53:33 EST
Organization: UWO CS, London Canada
Lines: 26


                      Professor A. Adamson
                    Department of Mathematics
                     University of Waterloo

                          will speak on
                                                       
            PLAYING GAMES IN THE DOT-DEPTH HIERARCHY

                           A B S T R A C T
 
This talk is an exposition of a new proof by Wolfgang Thomas of
the theorem that the dot-depth hierarchy of star-free regular
sets is infinite.  The proof uses logic and related game-theoretic
ideas.

                DATE:  Thursday, April l2, 1984

                TIME:  2:30 p.m.

                PLACE: Middlesex College, Room 354
                       The University of Western Ontario
                       London, Ontario.  CANADA
-- 
...!utzoo!uwo!deepthot!mary
(Mary Macvicar @ UWO Comp Sci, London Canada)