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 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Fri Sep 28 04:37:29 2007
This archive was generated by hypermail 2.1.8 : Fri Sep 28 2007 - 04:38:15 PDT