KIF AHG Formation: A Correction

"Vishal I. Sikka" <vishal@CS.Stanford.EDU>
Date: Tue, 14 Feb 95 16:10:55 PST
From: "Vishal I. Sikka" <vishal@CS.Stanford.EDU>
To: interlingua@isi.edu, srkb@cs.umbc.edu, kqml@cs.umbc.edu
Cc: genesereth@CS.Stanford.EDU, vishal@CS.Stanford.EDU
Subject: KIF AHG Formation: A Correction
Message-id: <CMM.0.90.4.792807055.vishal@Xenon.Stanford.EDU>
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk

This is in addition to the announcement yesterday regarding the creation
of an ANSI Ad Hoc Group for KIF.

As was mentioned in the message yesterday, the first meeting of the
KIF AHG will be held during the X3T2 meeting next week in Palo Alto,
CA. Please note, however, that even though the X3T2 meeting will last
the entire week, the KIF AHG meeting will only be held on thursday,
the 23rd. The remaining days will be devoted to other items on the
X3T2 agenda. Thus spending only a day on this will suffice.

Also, if you do plan to attend, please send us a note (either to me or
to Sheri Mason, sheri@cs.stanford.edu), so we know of your attendance.

Sincerely,

Vishal Sikka.

***********************************************************************
Vishal Sikka                                     vishal@cs.stanford.edu
The Logic Group                                     Phone: 415-725-2602
Computer Science Department                           Fax: 415-725-7411
Stanford University                                Stanford, CA - 94305
           Web: http://logic.stanford.edu/People/vishal.html
***********************************************************************