Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!utcsri!jarvis.csri.toronto.edu!utai!nishi
From: nishi@utai.UUCP
Newsgroups: ut.theory
Subject: student seminar this week
Message-ID: <4159@utai.UUCP>
Date: Tue, 24-Nov-87 09:39:38 EST
Article-I.D.: utai.4159
Posted: Tue Nov 24 09:39:38 1987
Date-Received: Fri, 27-Nov-87 04:18:53 EST
Organization: CSRI, University of Toronto
Lines: 14

This week's speaker will be Eugene Amdur; the meeting will be held in
GB412 from 2:00-3:00 on Wednesday, November 25.

(Gene says...)

Right, this is what I am going to talk about:

Define knowledge and common knowledge and talk about the muddy children
problem to try to give an intuition of what common knowledge is all about.
Talk about the two generals problem and give a proof without using
knowledge and one using knowledge.  And then define a distributed system
and what knowledge means in a distributed system.  And if there is time
I may either talk about Byzantine Agreement and some lower bounds or
something else.