my action items

Subject: my action items
From: Cindy Eisner (EISNER@il.ibm.com)
Date: Thu Aug 01 2002 - 11:17:22 PDT

• Next message: Tom Fitzpatrick: "Minutes from 7/1/02"
• Previous message: Erich Marschner: "RE: Requirements list and agenda"
• Next in thread: Cindy Eisner: "Re: my action items"
• Reply: Cindy Eisner: "Re: my action items"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

all,

at today's meeting, i committed to providing you with the following:

1. a small example of formal semantics in math and in english
2. an example of what i mean by defining the semantics independently of a
particular implementation

it is after 9pm, and i am on vacation from tomorrow until august 11. i
will send these two things when i return. unfortunately, my auto-reply
seems to be broken, so i apologize in advance for not responding to any
emails you may send me during that time.

regards,

cindy.

Cindy Eisner
Formal Methods Group Tel: +972-4-8296-266
IBM Haifa Research Laboratory Fax: +972-4-8296-114
Haifa 31905, Israel e-mail:
eisner@il.ibm.com

• Next message: Tom Fitzpatrick: "Minutes from 7/1/02"
• Previous message: Erich Marschner: "RE: Requirements list and agenda"
• Next in thread: Cindy Eisner: "Re: my action items"
• Reply: Cindy Eisner: "Re: my action items"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Aug 01 2002 - 11:17:53 PDT