Joint Committee telecon today

From: Mike Dean (
Date: 01/16/01

We'll have our weekly telecon today (Tuesday, January 16)
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 (I haven't yet given up on
  finding a technical means for us to pay for these calls
  instead of the callers)

  Enter passcode 6428 followed by the # sign

Below is a draft agenda; additions are welcome.


agenda updates/additions


  Jim has announced DAML+OIL to www-rdf-logic [1]

  The teleconference service we're using allows participants
  to mute their phones even if they don't have a mute
  button.  Press 63 to mute, and 66 to unmute.

  We'll start regularly running an Internet relay chat
  session in parallel with the telecons.  Connect to channel
  #joint-committee on  A list of IRC
  clients is available at [2].  Suggested IRC clients are
  mIRC for Windows [3] and Ircle for Mac [4]. will be moving to a new server and IP address
  over the next week or so.  Details and schedule are

corrections to minutes from 9 January [5]


  reference document typos fixed

  remove Disjoint? [6]

  list/rest missing from axiomatic semantics? [7]

  other early feedback

  new 2001/01 version not needed?

concrete types proposals [8]

Conceptual Graphs [9]










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