2023
(Terms expire on January 1 of the year given.)
Quick Links
- Officers
- Remaining Members of the Executive Committee
- Remaining Elected Members of the Council
- Former Presidents and Vice-Presidents on the Council
- The Journal of Symbolic Logic
- The Review of Symbolic Logic
- The Bulletin of Symbolic Logic
- Reviews
- Lecture Notes in Logic
- Perspectives in Logic
Council
(An asterisk indicates an Executive Committee member)
| Member Name | Term Expires | Member Name | Term Expires |
| Samson Abramsky* | 2026 | Byunghan Kim* | 2027 |
| Bahareh Afshari | 2025 | Julia Knight | 2028 |
| Carolin Antos | 2027 | Ulrich Kohlenbach | 2025 |
| Andrew Arana | 2026 | Phokion Kolaitis* | 2031 |
| Matthias Aschenbrenner* | 2026 | Paul Larson | 2027 |
| Steve Awodey | 2027 | Graham Leach-Krouse | 2027 |
| Dana Bartošová | 2027 | Russell Miller* | 2026 |
| Christina Brech* | 2025 | Sandra Müller | 2026 |
| Willem Conradie | 2026 | Rehana Patel | 2026 |
| James Cummings | 2027 | Elaine Pimentel | 2025 |
| Natasha Dobrinen* | 2025 | Richard A. Shore | 2026 |
| Qi Feng | 2026 | Dima Sinapova | 2027 |
| Salvatore Florio | 2025 | Daoud Siniora | 2026 |
| Su Gao | 2029 | Reed Solomon* | 2026 |
| Noam Greenberg | 2026 | Keita Yokoyama | 2025 |
| Valentina Harizanov* | 2025 | Martin Ziegler | 2025 |
| Wesley Holliday* | 2027 |
According to the ASL Constitution, the Council consists of the Executive Committee (including the President, Vice President, and Secretary-Treasurer), the Editorial Board, past Presidents and Vice Presidents for six years after the close of their terms, the Chairs of the Regional Committees of the ASL, and additional elected members.
The Editorial Board includes: the Coordinating Editor of the The Journal of Symbolic Logic, the Coordinating Editor of The Review of Symbolic Logic, the Managing Editors of The Bulletin of Symbolic Logic, the Reviews, the Perspectives in Logic, the Lecture Notes in Logic, the Editor for Thesis Abstracts and the Publisher, as well as such other editors as the Council shall determine.
Officers
| Phokion Kolaitis, President | 2025 |
| Natasha Dobrinen, Vice President | 2025 |
| Russell Miller, Co-Secretary-Treasurer | 2026 |
| Reed Solomon, Co-Secretary-Treasurer | 2026 |
<back to top of page>
Remaining Members of the Executive Committee
| Samson Abramsky | 2026 | Valentina Harizanov | 2025 |
| Matthias Aschenbrenner | 2026 | Wesley Holliday | 2027 |
| Christina Brech | 2025 | Byunghan Kim | 2027 |
<back to top of page>
Remaining Elected Members of the Council
| Bahareh Afshari | 2025 | Qi Feng | 2026 |
| Carolin Antos | 2027 | Rehana Patel | 2026 |
| Dana Bartošová | 2027 | Martin Ziegler | 2025 |
<back to top of page>
Former Presidents and Vice Presidents on the Council
| Julia Knight | 2028 | Ulrich Kohlenback | 2025 |
<back to top of page>
Editors
Editors, The Journal of Symbolic Logic
| Sylvy Anscombe | 2025 | Damir Dzhafarov | 2027 |
| Jeremy Avigad | 2027 | Vera Fischer | 2025 |
| Steve Awodey, Coordinating Editor | 2027 | Itay Kaplan | 2026 |
| Lev Beklemishev | 2026 | Elvira Mayordomo | 2027 |
| Alexander Berenstein | 2025 | Hiroshi Sakai | 2026 |
| Riccardo Camerlo | 2025 | Anton Setzer | 2027 |
<back to top of page>
Editors, The Review of Symbolic Logic
| Salvatore Florio, Coordinating Editor | 2025 | Graham E. Leigh | 2026 |
| Rohan French | 2025 | Jon Litland | 2025 |
| Silvio Ghilardi | 2027 | Marko Malink | 2025 |
| Hans Halvorson | 2026 | Gil Sagi | 2026 |
| Simon Huttegger | 2026 | Zeynep Soysal | 2027 |
| Luca Incurvati | 2027 |
<back to top of page>
Editors, The Bulletin of Symbolic Logic
| Guram Bezhanishvili | 2025 | Salma Kuhlmann | 2026 |
| Katalin Bimbó | 2025 | Øystein Linnebo | 2025 |
| James Cummings, Managing Editor | 2027 | Arno Pauly | 2025 |
| Peter Dybjer | 2025 | Daniela Petrisan | 2027 |
| Ali Enayat | 2025 |
<back to top of page>
Editors for Reviews
| Albert Atserias | 2026 | Valeria de Paiva | 2026 |
| Francesca Boccuni | 2027 | Philipp Ruemmer | 2027 |
| Clinton Conley | 2025 | Marion Scheepers | 2025 |
| Johanna Franklin | 2026 | Paul Shafer | 2027 |
| Graham Leach-Krouse, Managing Editor | 2027 | Nam Trang | 2025 |
| Dugald Macpherson | 2026 |
<back to top of page>
Editor for Thesis Abstracts
| Sandra Müller | 2026 |
<back to top of page>
Editors, Lecture Notes in Logic
| Zoé Chatzidakis | 2025 | Paulo Oliva | 2027 |
| Denis Hirschfeldt | 2025 | Martin Otto | 2028 |
| Leon Horsten | 2028 | Slawomir Solecki | 2025 |
| Paul Larson, Managing Editor | 2027 |
<back to top of page>
Editors, Perspectives in Logic
| Alessandro Berarducci | 2026 | Rosalie Iemhoff | 2026 |
| Meghyn Bienvenu | 2028 | Andre Nies | 2026 |
| Dana Fisman | 2028 | Andreas Weiermann | 2029 |
| Su Gao, Managing Editor | 2029 |
<back to top of page>
Publishing
| Richard A. Shore, Publisher | 2026 |
<back to top of page>
Representatives
| Michael Benedikt (EACSL) | 2025 |
| Phokion Kolaitis (SIGLOG) | 2025 |
| Michael C. Laskowski (CBMS) | 2025 |
<back to top of page>