[MetaPRL Users] TPHOLs 2010: Vote Result

[Laurent Théry]

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