tetf teleconference: 12/17

[David Van Campenhout <dvc@verisity.com>]

Hi All,


Thanks for those who responded to my request about meeting times.

I propose to have a kick off teleconference on

  Wednesday December 17 at 8 am pacific time (4pm GMT)
  
  Conference telephone number:
        888 279-8822   (US call in number)
        719 955-1402   (international call in number)
  Passcode: 225211
  
  The call should last about 1 hour.


The agenda:

  1. Introductions
  2. Objectives of the task force:
        - to scrutinize the 0.1 draft LRM (portions of chapters 9,10,8),
          to clarify, correct, and amend it where necessary
  3. Preliminary plan
      (i) produce BNF for syntax of temporal expressions
     (ii) study "Semantics of temporal e" -- to be distributed shortly
    (iii) produce a formal semantics using a framework similar to that 
          used for PSL.
     (iv) read and review chapters 9,10,8 in managable chunks


I hope to talk to you on Wednesday,


David

------------------------------------------------------------------------
David Van Campenhout [mailto:dvc@verisity.com]           Verisity Design
Tel.: +1 650 934-6878                               Fax: +1 650 934-6801