IW Meeting 2009-01-27

From Inference Web

Jump to: navigation, search



Proof Quality

  • todo geoff - report out on work with student on tools -
  • todo - geoff - analyze cynthias results
    • benzmueller - tp and front end
    • irving - mathematician
    • schultz - hard core theorem proving
    • irving -> urban
  • todo - geoff and all - analyze comments on quality
  • remaining todo - paulo talk to cynthia about link and report out (waiting on cynthia)
  • general note - need an upgrade to the architecture that handles the fact that we will not have a complete ordering and not even partial orders

ProbeIt Browser



regular: Thursday noon EST

Personal tools