| Time: | 12:00 - 13:20 |
| Room: |
Porter Hall A 19 D
|
| Speaker: |
Fritz Obermeyer Department of Mathematical Sciences Carnegie Mellon University |
| Title: |
Models of randomness in prgramming languages
|
| Abstract: | Part 1. Overview of randomness in programming languages. Probability valuations on topologies instead of measures on sigma-algebras. Plotkin's probabilistic powerdomain. Slides for this talk and some background reading can be found at the speaker's home page. |