[isabelle] TPHOLs 2010: Vote Result



Here is the result of the vote:

Out of 56 voters
 18 had option A (merge with IJCAR) as first choice
 27 had option B (merge with ALC2) as first choice
 11 had option C (separate) as first choice

at this point, the 11 votes were transferred, so the final result is
 option A: 21
 option B: 32

TPHOLs will merge with ACL2 in 2010 for FLoC.

Regards,
--
Laurent Théry





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.