The affairs of CADE are managed by its Board of Trustees. This includes the selection of CADE (IJCAR) co-chairs, the selection of CADE venues, choosing the Herbrand, Bill McCune, and Skolem Award selection committee, instituting new awards, etc. The purpose of the election is to elect two trustees for the period 2024-2027, out of a slate of three candidates. The statements provided by the candidates, and the list of current trustees, with all information on this election are available on the CADE webpage.
| 1. Marijn Heule (Condorcet winner: wins contests with all other choices) |
| 2. Martin Suda loses to Marijn Heule by 43–29 |
| 3. Cláudia Nalon loses to Marijn Heule by 44–27, loses to Martin Suda by 43–30 |
For simplicity, some details of the poll result are not shown.
| 1 | 2 | 3 | ||
|---|---|---|---|---|
| 1. Marijn Heule | - | 43 | 44 | |
| 2. Martin Suda | 29 | - | 43 | |
| 3. Cláudia Nalon | 27 | 30 | - |
Ballot reporting was not enabled for this poll.
Feel like voting on something else? Try one of these public polls: