IW Meeting 2010-05-13

From Inference Web

Jump to: navigation, search

agenda

  • use free telecon number again Conference Dial-in Number: (605) 475-4850

Participant Access Code: 852017#

  • cynthia/geoff's report on TPTP
  • follow up on svn, we definitely need an instructions page that tells people how to get to the code. cynthia point from inferenceweb to inference-web
  • problems on loading stephan's PML, cynthia will try to load stephan's proof with probeit and his infrastructure
  • results of nick's loading exploration with probeit.
  • paulo's PML infrastructure
Personal tools
Navigation