Email Gateway (Aug 18 2022 at 11:00): Email Gateway (Aug 18 2022 at 11:00):From: Laurent Théry <Laurent.Thery@sophia.inria.fr>
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,
Last updated: May 03 2024 at 08:18 UTC