Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/5/84; site ellie.UUCP
Path: utzoo!watmath!sunybcs!ellie!rapaport
From: rapaport@ellie.UUCP (William J. Rapaport)
Newsgroups: ont.events
Subject: UB COMPUTER SCIENCE COLLOQUIUM
Message-ID: <684@ellie.UUCP>
Date: Thu, 14-Nov-85 10:39:36 EST
Article-I.D.: ellie.684
Posted: Thu Nov 14 10:39:36 1985
Date-Received: Sat, 16-Nov-85 00:49:27 EST
Distribution: ont
Organization: SUNY/Buffalo Computer Science
Lines: 45


			UNIVERSITY AT BUFFALO
		    STATE UNIVERSITY OF NEW YORK

                   DEPARTMENT OF COMPUTER SCIENCE

			     COLLOQUIUM

			    DEXTER KOZEN

		   Department of Computer Science
			 Cornell University

	     A PROBABILISTIC PROPOSITIONAL DYNAMIC LOGIC

  This  talk  concerns  a  probabilistic  analog  of  Propositional
  Dynamic  Logic,  called Probabilistic Propositional Dynamic Logic
  (PPDL).  PPDL is useful in the formal manipulation of simple pro-
  babilistic  programs and the average-case analysis of determinis-
  tic programs.  We describe the formal syntax and semantics of the
  system and its deductive calculus, and illustrate its use by cal-
  culating the expected running time of a simple random  walk.   We
  also  describe  briefly a polynomial-space decision procedure for
  deciding the truth of  formulas  involving  well-structured  pro-
  grams.

		     Thursday, November 21, 1985
			      3:30 P.M.
		      Bell 337, Amherst Campus

     Wine and cheese will be served at 4:30 P.M., 224 Bell Hall

	    For further information, call (716) 636-3181.

-- 
				William J. Rapaport
				Assistant Professor

Dept. of Computer Science, SUNY Buffalo, Buffalo, NY 14260
(716) 636-3193, 3180
uucp:  	...{allegra,decvax,watmath}!sunybcs!rapaport
	...{cmc12,hao,harpo}!seismo!rochester!rocksvax!sunybcs!rapaport
cs:     rapaport@buffalo
arpa:   rapaport%buffalo@csnet-relay
bitnet: rapaport@sunybcs