[SCL] Re: Getting a move on

[Tanel Tammet]

Hi Pat,

>
>(1) if you are willing to take part in this activity, ideally as an 
>active member but perhaps in a consultative capacity. (If anyone 
>would like to volunteer to *chair* it, I would be delighted to 
>entertain suggestions, but in the meantime I will act as organizer 
>and chair.)

I'd be willing to take part as a regular member.

Your suggestion for creating an informal group for this is indeed, 
timely, and most necessary.

My research area is first-order automated theorem proving and 
applications (of two kinds:
verifying hardware (real applications) and semantic web (applications 
in research sense)).

Since I am working on actual implementations (www.ttu.ee/it/gandalf/),
I have had to tackle various first order input formats, for example 
the TPTP format. More of interest,
a company I am consulting  (www.safelogic.se) has created an internal 
XML-based standard for
first order proof representation,  which by necessity also involves 
clause representation.
This representation is not finished for  problem input description 
and might lack several features
which are necessary in our context, but we may get some ideas about 
specifics, particulary the exotic
topic of proof representation, should this be of interest in the context.

Regards,
          Tanel Tammet
          Department of theoretical computer science
          Tallinn Technical University