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 SF.net email is sponsored by: Splunk Inc. Still grepping through log files to find problems? Stop. Now Search log events and configuration files using AJAX and a browser. Download your FREE copy of Splunk now >> http://get.splunk.com/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
