Re: [sv-ac] face-to-face meeting details

Hi John,

Would it be possible to move the 1898 proposal to the 0700-0900 time slot.
If I do my time-zone math correctly, the checkers discussion will be over by
8:00 PST.  I would rather not miss the checker discussion or the 2005 discussion.

Thanks,

Tom

John Havlicek wrote On 09/28/07 04:37 AM,:
> Revised Agenda (all times offset from UTC by -0500):
> 
>   2007-10-02:
>   . 07:00 - 10:00:  1900 Checkers (related to SV-BC), breakfast served
>   . 10:00 - 13:00:  2005 Solution for glitch problem (related to SV-BC), 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:  (no mantis) Formal semantics of cover statements, lunch served
>   . 13:00 - 17:00:  Grab bag discussion, tea served
> 
> 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 bag discussions or otherwise.
> 
> Meetings will be held in Building A, Classroom 150 of Freescale's Parmer 
> Lane facility:
> 
>    7700 West Parmer Lane
>    Austin, TX 78729
> 
> To reach the facility from downtown: 
> 
>   - Travel north on the Mopac Expressway (Loop 1), exit at Parmer Lane
>   - Travel northwest on Parmer Lane to Tamayo Drive
>   - Turn right at Tamayo drive to enter the facility
> 
> The entrance at Tamayo Drive leads to the front of Building B, where there
> are flags.  To the left is Building A and a visitor parking lot.  If you
> are driving, you may park in either visitor or non-visitor spaces.
> 
> During the meetings we will use our customary conference number:
> 
> Country                 Number
> 
> AUSTRALIA               1800009128
> AUSTRIA                 0800291873
> BELGIUM                 080077334
> CANADA                  8008671147
> CHINA TELECOM (CT)      108001400732
> CHINA NETCOM (CNC)      108007140759
> DENMARK                 80703159
> FINLAND                 0800770233
> FRANCE                  0800941695
> GERMANY                 08001014519
> GREECE                  0080016122039738
> HONG KONG               800933578
> HUNGARY                 0680017180
> INDIA                   0008001006032
> INDONESIA               008800105607
> IRELAND                 1800944116
> ISRAEL                  1809459738
> ITALY                   800782388
> JAPAN                   00531160427
> LUXEMBOURG              80023985
> MALAYSIA                1800808386
> MONACO                  80093186
> NETHERLANDS             08002658223
> NEW ZEALAND             0800443736
> NORWAY                  80057409
> POLAND                  008001114672
> PORTUGAL                800819106
> RUSSIA                  81080022801012
> SINGAPORE               8001011470
> SOUTH AFRICA            0800992835
> SOUTH KOREA             00308140540
> SPAIN                   900967020
> SWEDEN                  0201400559
> SWITZERLAND             0800563054
> TAIWAN                  00801126585
> THAILAND                0018001562039684
> UNITED KINGDOM          08005280546
> UNITED STATES           8008671147
> 
> Access Code:  7375405
> 
> 

-- 
------------------
Thomas J. Thatcher
Sun Microsystems
------------------

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