[sv-bc] tentative agenda for SV-AC face-to-face

Hi Folks:

Below is a tentative agenda for the SV-AC face-to-face meeting in
Austin on 2-3 OCT 2007 at the Freescale Parmer facility.

There will be conference call access available for external
participants, and I am working on enabling web-based graphical access
for external participants.

I need to assemble a reasonbly accurate headcount of the number of
expected onsite attendees by the end of business on 2007-09-25.  If
you have not previously notified me of your intention to attend, then
please do so by this deadline.

Best regards,

J.H.

----------------------------------------------------------------------------------------

Tentative Agenda (all times offset from UTC by -0500):

  2007-10-02:
  . 07:00 - 09:00:  1900 Checkers (related to SV-BC), breakfast served
  . 09:00 - 11:00:  2005 Solution for glitch problem (related to SV-BC)
  . 11:00 - 13:00:  voting block and further discussion, lunch served
  . 13:00 - 15:00:  1898 Mapping assertion system tasks to callbacks (related to SV-CC)
  . 15:00 - 17:00:  Grab bag discussion, tea served
  . Dinner offsite at attendees' expense

  2007-10-03:
  . 07:00 - 09:00:  1932 LTL operators, breakfast served
  . 09:00 - 11:00:  1667 Local variable arguments
  . 11:00 - 13:00:  voting block and further discussion, lunch served
  . 13:00 - 15:00:  (no mantis) Formal semantics of cover statements
  . 15:00 - 17:00:  Grab bag discussion, tea served
  . Safe travel home!

This agenda assumes that the following items are resolved by the time of the
face-to-face meeting:

* Adding missing argument types (1549)
* Local variable initializers (1668)
* Future value functions (1682)
* Let construct in assertions (1728)
* Boolean implication and equivalence (1758)

If not, then discussion of any of these items outstanding will be worked 
into the grab gab discussions or otherwise.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.