BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Uncertainty Logic - Christian Steinruecken
DTSTART:20060216T151500Z
DTEND:20060216T161500Z
UID:TALK4802@talks.cam.ac.uk
CONTACT:Phil Cowans
DESCRIPTION:This talk introduces ways of using and extending propositional
  logic to deal with uncertainty. Uncertain logic states can serve as a pow
 erful tool to reason about gate-level digital circuit designs\, without re
 sorting to differential equations or probabilities.\n\nPlenty of examples 
 and colourful diagrams are included.\n
LOCATION:Ryle Seminar Room\, Cavendish Laboratory
END:VEVENT
END:VCALENDAR