Mathematical logic seminar - April 8, 2008

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.