Mathematical logic seminar - April 15, 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 programming languages II

Abstract: Part 2. Problems with randomness and parallelism. Lattice models and uncertainty. A lattice model with local probability spaces.