[SCL] Schedule for next CL Draft

[pat hayes]

>Folks,
>
>What is happening?  Is anyone working on the
>next draft of the CL document?

Both Chris and I have been swamped by other stuff for a while.  Right 
now I am struggling to find some funding for next year so as to be 
able to do *anything*.

>As I mentioned in an earlier note, Nancy Lawler
>is going to Melbourne, Australia, at the end
>of October for the ISO SC32 meeting (another
>meeting of the same gang that got together
>in Santa Fe in January).
>
>At the upcoming meeting, Nancy would like
>to present a copy of the latest and greatest
>CL document for consideration by SC32/WG2.

I don't think we can have a draft ready by then. My own best guess 
would now be the end of this calendar year. Chris and I have a paper 
being presented at an ISWC workshop in a couple of weeks which Nancy 
can refer to or could maybe use. What does Nancy need? Would some 
slides do? I can give Nancy a list of topics + progress on them, and 
other on-going standards efforts which we are trying to liaise with, 
which may be useful.

>She would like it to be sufficiently good
>that everybody would be impressed that there
>is real progress being made toward a standard.

Do you want progress, or an actual draft standard? We can certainly 
report *progress*. The current main large holes, seems to me, apart 
from just the considerable work of actually writing a readable 
document in an appropriate style, are (1) to define a workable XML 
syntax (2) to define a concrete CG syntax (3) to get a coherent story 
together about how to specify datatype-defined domains and integrate 
them into the abstract syntax and the model theory.  Later, but less 
urgent, we can do (4) get a really good story together about sequence 
quantifiers.

I feel competent to do 3 and 4 and will when I get time; I don't feel 
competent to do 1 (alone, at any rate), and I think that 2 is going 
to have to be done by you, John

>Can we get something together by the middle
>of this month that will be sufficiently
>presentable?

That is a horrible deadline given the timing of ISWC and the DAML PI meeting.

>
>Can we also schedule another telecon for
>next Tuesday, October 7?

That would be OK with me. Time? We could try

0900 PST 1100 CST 1800 CEST

or suggest an alternative.

BTW, http://www.timeanddate.com/worldclock/meeting.html is extremely handy.

Pat

>John
>
>_______________________________________________
>SCL mailing list
>SCL at philebus.tamu.edu
>http://philebus.tamu.edu/mailman/listinfo/scl


-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes at ihmc.us       http://www.ihmc.us/users/phayes