Hi Tom: We could delay the 1900 and 2005 discussions until later in the day, but this makes it harder for people in Israel and India to participate. Also, I think we need Bassam involved to make the 1898 discussion work. What do others think? J.H. > Date: Fri, 28 Sep 2007 10:25:03 -0700 > From: Thomas Thatcher <Thomas.Thatcher@Sun.COM> > Sender: Thomas.Thatcher@Sun.COM > Cc: sv-ac@eda-stds.org > Reply-to: Thomas.Thatcher@Sun.COM > X-Accept-Language: en-us, en > X-OriginalArrivalTime: 28 Sep 2007 17:25:11.0944 (UTC) FILETIME=[8673C080:01C801F4] > > 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.Received on Fri Sep 28 11:43:18 2007
This archive was generated by hypermail 2.1.8 : Fri Sep 28 2007 - 11:43:32 PDT