Joint Committee telecon today 30 January

From: Mike Dean ([email protected])
Date: 01/30/01

We'll have our weekly telecon today (Tuesday, January 30)
from 4-5pm EST, 1-2pm PST, and corresponding times in other

The dial-in numbers are

  U.S.:  888-483-2662

  outside U.S.: +1-310-312-5889

  Enter passcode 6428 followed by the # sign

Below is a draft agenda; additions are welcome.


agenda updates/additions


  The new is available.

  As previously agreed, a public archive of the
  joint-committee email list is now available at [1].

corrections to minutes from 23 January [2]

concrete types proposals and vote [3] [4]

DAML PI meeting (Feb 13-15 in DC)

  DAML+OIL plenary presentation (tentative breakdown)

    intro  Mike (10 mins)
    DAML+OIL goals/issues/experience  Ian (30 mins)
    W3C Semantic Web Activities?  Tim? (10 mins)
    Model-Theoretic Semantics  Peter? (15 mins)
    Axiomatic Semantics  Deb/Richard? (15 mins)
    Q&A/overflow (10 mins)

  Language breakout session

  BOFs:  DAML Rules, ...

Dan King's DAML+OIL comments [5]


  no telecon on February 13 due to DAML PI meeting

rename disjointUnionOf to disjointPartitionOf? (if time

axiomatic semantics (if time allows)

  further semantics needed for lists? (e.g. equality, can a
  list contain itself)






This archive was generated by hypermail 2.1.4 : 04/02/02 EST