[sv-ac] Meeting minutes for 9/8/03

Subject: [sv-ac] Meeting minutes for 9/8/03
From: Stephen Meier (Stephen.Meier@synopsys.com)
Date: Mon Sep 08 2003 - 10:24:15 PDT

• Next message: John Havlicek: "[sv-ac] revised proposal: nesting and boolean connectives"
• Previous message: John Havlicek: "[sv-ac] draft proposal for nested implication, boolean property connectives"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi:

Here are minutes from today.

2 key points to note:

1- vote by Sunday on Errata list
2- next meeting is 9/15

Steve

Steve Meier (stephen.meier@synopsys.com) W: 650-584-4476, Cell: 408-393-8246

• text/plain attachment: svac_090803.txt

• Next message: John Havlicek: "[sv-ac] revised proposal: nesting and boolean connectives"
• Previous message: John Havlicek: "[sv-ac] draft proposal for nested implication, boolean property connectives"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Mon Sep 08 2003 - 10:24:51 PDT