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
***********************************************************************