Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site utcsrgv.UUCP
Path: utzoo!utcsrgv!voula
From: voula@utcsrgv.UUCP (Voula Vanneli)
Newsgroups: ont.events
Subject: Theoretical Aspects Seminar
Message-ID: <722@utcsrgv.UUCP>
Date: Wed, 30-Jan-85 16:36:06 EST
Article-I.D.: utcsrgv.722
Posted: Wed Jan 30 16:36:06 1985
Date-Received: Wed, 30-Jan-85 16:42:09 EST
Distribution: ont
Organization: CSRI, University of Toronto
Lines: 66







                     LATE ANNOUNCEMENT



THEORETICAL ASPECTS SEMINAR - Tuesday, February 5,  11  a.m.
in SF 1105
  (SF = Sandford Fleming Building, 10 King's College Road)
          University of Toronto, Toronto, Ontario


                       Silvio Micali
              Laboratory for Computer Science


             How to Get a Proof from the Devil


Abstract:  For some number theoretic languages _L we show how
someone  who  has  enough information (henceforth called the
Devil) can prove to a skeptical man that a string belongs to
_L, without releasing any additional knowledge.




































                      January 30, 1985