Seminar Announcement

Branden Fitelson

University of California, Berkeley

"A User-Friendly Probability Machine, with Applications"

Date: Friday, October 3, 2003
Time: 11:00 am.
Place: Building 451, Room 1025 (White Room)
P Clearance / Unclassified
Contact: Tina Eliassi-Rad ((925) 422-1552) or Leslie Bills ((925) 423-8927)

Sponsored by: ISCR and CASC.

A general mechanical procedure (with a user-friendly front-end) for reasoning about the probability calculus is presented. The procedure is then used to solve various probabilities in probability theory. Issues of computational complexity and problem size will also be discussed. All necessary technical (and historical) background will be provided during the talk.

Email: branden@fitelson.org

Speaker's web page: http://fitelson.org

Research web page: http://fitelson.org/research.htm

Institution web page: http://www.berkeley.edu