[sv-champions] Conference call Nov 30, 2011 - reminder

Hi Champions,

There is a Champions conference call tomorrow.
This is the last scheduled conference call for the Champions.

     Nov 30, 2011 (Wednesday)
     8am-10am PST

Dial-in information:

    1-866-682-4770 // toll free number (US)
       8967895 // conference code
       5999 // security pass code

    1809452571 // toll free number (Israel)
       8967895 // conference code
       5999 // security pass code

Below is the final agenda.

  1. 1356 SV-EC Multiple inheritance
     15 page proposal
     Part of Champions Oct 2 email vote (quorum not reached).
     Champions opposed Oct 17 email vote
     Champions opposed Nov 17 conference call
     This is the 4th time going through the Champions.

  2. 2506 SV-EC Non-trivial coverage space shapes and joint conditions
     21 page proposal
     Champions opposed Jun 11 email vote
     Champions opposed Sep 20 email vote
     Champions opposed Nov 17 conference call
     The latest proposal was approved by the sv-ec 11/21
     This is the 4th time going through the Champions.
        Shalom added some bug notes for issues that he found

  3. 3069 SV-AC Relax rules for $global_clock resolution
     5 page proposal
     Champions opposed Aug 5 email vote
     Part of Champions Sep 20 email vote (quorum not reached).
     Champions opposed Oct 31 email vote
     This is the 4th time going through the Champions.

  4. 3295 SV-AC need a way to control only asserts/covers/assume directives
     14 page proposal
     Champions opposed Oct 31 email vote
     Shalom provided feedback to the sv-ac on latest proposal.
        There was a typo flagged.
        A new proposal was uploaded 11/29 to address Shalom's feedback.
        There is an sv-ac email vote ending midnight 11/29 (Tuesday).

  5. 3206 SV-AC Deferred assertions are sensitive to glitches
     6 page proposal
     Part of Champions Sep 20 email vote (quorum not reached).
     Champions opposed Oct 31 email vote
     This is the 3rd time going through the Champions.

  6. 3145 SV-AC Need to clearly define "maximal property"
     1 page proposal
     Champions opposed Oct 17 email vote

  7. 3022 SV-CC Annex I import/export reversals
     2 page proposal
     svcc wants to make a change to it - currently in Approved state
     Champions approved Oct 31 email vote
     Working Group approved Nov 10 conference call
     Was updated by the svcc - after already approved by Working Group

Neil

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