• The 2024 ASL Election. At the end of this year the ASL will elect its new President and Vice-President, two at-large members of the ASL Executive Committee, and two at-large members of the ASL Council. All terms are for 3 years beginning January 1, 2025. The ballot was included as a pdf attachment to the electronic November ASL Newsletter, and also included along with hard copies of that Newsletter. Write-in votes are allowed. Please vote! Votes must be received by the deadline of December 31, 2024.

The 2024 Nominating Committee has nominated Natasha Dobrinen (Notre Dame University), the current Vice-President, for President; Matthias Aschenbrenner (University of Vienna) for Vice-President; Su Gao (Nankai University) and Henry Towsner (University of Pennsylvania) for the at-large seats on the Executive Committee; and Juan Aguilera (Technische Universität Vienna) and Xavier Caicedo (Universidad de los Andes) for the at-large seats on the Council. No other nominations have been received. The Nominating Committee consisted of V. Becher, V. Fischer, A. Kechris, J. Kennedy, U. Kohlenbach, R. Miller, and R. Shore (chair).

• ASL membership renewal for 2025 is open. Online renewal for 2025 is available at https://www.cambridge.org/core/membership/asl. Additionally, paper renewal forms are available at http://aslonline.org/membership/individual-membership/, that can be returned by snail mail or email. Members now have the option to choose, for each of our three journals individually, whether to receive print copies or only to have online access to the journal. To make this new arrangement possible, we have reduced the number of options for the term of membership, which will now be available for either a 1 or 5 years. For those who hold multi-year memberships and wish to confirm the expiration date, please log in to your account with Cambridge University Press or send email to e-mail: [email protected].

We encourage all those whose memberships expire in 2024 to renew their memberships in a timely fashion! Many logicians, when becoming members of the ASL, opt out of receiving email from Cambridge U.P., which administers the membership program. In such cases, due to European Union regulations regarding opting-out, these members may not receive any electronic notification of the expiration of their memberships, and we know of cases where memberships have lapsed simply because the member was unaware of the expiration date. We believe that we have a better system in place now, still conforming to the EU regulations, but members who may have opted out of email should still pay particular attention and be sure to renew promptly.

• Membership is now available to logicians in China. The ASL continues to remind logicians that as of 2023 we can once again accept members from the People’s Republic of China. Under PRC regulations we remain prohibited from mailing journals to members in China. However, we now can offer online access to the ASL journals through Cambridge University Press for members in China. Logicians employed in China who are interested in joining the ASL as new members are encouraged to apply to the ASL Committee on Membership for a free initial 2-year outreach membership by emailing their mailing address and professional affiliation to e-mail: [email protected]. After 2 years, outreach members should contact Shannon Miller at e-mail: [email protected] to pay for continued outreach membership at USD 18 per year. Details are available at https://aslonline.org/membership/individual-membership/. Questions about this arrangement can be directed to Shannon Miller, Russell Miller or Reed Solomon.

Logicians in China who are not yet members do not receive the Bulletin of Symbolic Logic and may not see this news item. We therefore encourage all ASL members to spread the news of this welcome change, especially to colleagues based in China.

• Open-Access Options for ASL Journals. Authors of research articles in logic, who may wish to consider submitting those articles to the Bulletin of Symbolic Logic, the Journal of Symbolic Logic, or the Review of Symbolic Logic, should be aware that these journals now offer the option of open-access publication. Indeed, many universities now have contracts with Cambridge University Press, our publisher, that allow their researchers to publish open-access articles at no charge. These are often called read-and-publish agreements or transformative agreements.

All three journals are now hybrid. They still accept article submissions exactly as before, and they will still publish accepted articles just as before if the author does not opt for open access. However, for authors with mandates to publish open-access articles (or who simply prefer to do so), this option is also available. Details appear at https://www.cambridge.org/core/services/open-access-policies. To ascertain whether your university has an agreement as described above, use https://www.cambridge.org/core/services/open-access-policies/read-and-publish-agreements.

• Cambridge U.P. technical disruption. Cambridge University Press publishes three ASL journals and the two ASL book series. This past summer, CUP’s website suffered a cybersecurity incident and required significant reconstruction. CUP shut down its website, which was then unavailable for a lengthy period of time during its reconstruction. Consult https://www.cambridge.org/universitypress/about-us/news-and-blogs/cambridge-university-press-publishing-update-following-technical-disruption for details.

As of this writing, the three journals published by CUP are all available online once again. Moreover, membership services have been restored and appear to be functioning normally once again. (If any members are still encountering difficulties related to the technical disruption, please email e-mail: [email protected] to inform us about them!) The journals are returning to their usual publication schedule, but are not yet fully caught up, so some accepted articles that would normally have appeared online by now are still delayed by a month or two. We expect that this backlog will be eradicated entirely during the winter.

• Call for Conference Proposals. The Committee on Logic in Europe seeks proposals for hosting the Logic Colloquium during the summer of 2026. Inquiries should be sent to the committee chair Andrew Arana (e-mail: [email protected]).

• ASL Sponsorship of Meetings. The ASL often sponsors research meetings and conferences in logic, all over the world. Sponsorship is granted to those meetings that uphold high standards of scholarship and rigor and whose purpose is in concert with the mission of the ASL. Student members of the ASL may apply to the ASL for travel support to attend sponsored meetings, as described above, and a report on each sponsored meeting subsequently appears in the Bulletin of Symbolic Logic. Meeting organizers who are ASL members and wish to request ASL sponsorship of their meetings should do so at least five months before the beginning of the meeting, following the instructions at http://aslonline.org/sponsorship-of-meetings/.

• Logic Colloquium (European Summer Meeting) July 7–11, 2025 Vienna, Austria. The 2025 Logic Colloquium will be hosted by the Technische Universität Wien. The Program Committee consists of J. Aguilera, M. Bojańczyk, H. Burnett, N. Gambino, R. Iemhoff, J. Kennedy (chair), S. Müller, D. Palacin, L. Patey, and A. Villaveces. The Organizing Committee includes J. Aguilera (chair), M. Baaz (co-chair), K. van Berkel, M. Gamsakhurdia, M. Iannella, T. Kouptchinsky, A. Lolic (co-chair), S. Mahler, R. Mohammadpour, and G. Stepanov. Updated information will be available soon online at https://aslonline.org/meet/.

• Indian Conference on Logic and its Applications February 3–5, 2025 Kolkata, India. The ICLA is a biennial international conference organized by the Association for Logic in India (ALI). In 2025 the eleventh edition will be hosted by the Indian Statistical Institute in Kolkata, and will cover a variety of fields involving logic. A special feature of ICLA is the inclusion of studies in systems of logic in the Indian tradition, as well as historical research on logic. The invited speakers include S. Gao, J. Makowsky, A. Nerode, S. Pinchinat, and N. Ramsey. More details about this meeting and several satellite workshops and conferences, including the Asian Workshop on Philosophical Logic, are available at https://logicindia.org/icla/icla2025.

• Model Theory Meets Geometric Group Theory February 3–7, 2025 Münster, Germany. Model theory and geometric group theory exhibit a rich interplay. This conference at the Universität Münster will bring together young researchers in both areas. It will include mini-courses given by S. André, M. Casals, and T. Koberda, and talks by L. Ciobanu, J. Fruchter, R. Gupta, A. Kerr, J. Lopez De Gamiz, and C. Perin. The local organizers are M. Amelio, B. Brück, and Z. Mohammadi. More information is available at https://www.uni-muenster.de/MathematicsMuenster/events/2025/MT_meets_GGT.shtml. (ASL Sponsored Meeting.)

• Very Informal Gathering of Logicians February 7–9, 2025 Los Angeles, CA, USA. The 22nd VIGLA, held at UCLA, will honor Alekos Kechris on the occasion of his formal retirement from Caltech. The meeting is organized by the logicians at UCLA. Invited speakers include G. Sargsyan (giving the Hjorth lecture), O. Ben-Neria, R. Chen, A. Chernikov, C. Conley, M. Harrison-Trainor, J. Lutz, A. Marks, R. McCarty, A. Tserunyan, and J. Warren. It is hoped that travel grants will be available for graduate students and recent PhD’s. For further information, please visit http://www.logic.ucla.edu/.

• Southeastern Logic Symposium March 1–2, 2025 Gainesville, Florida, USA. The University of Florida will again host SEALS, on the weekend of March 1–2, with additional colloquium talks planned on February 28 (by K.M. Ng) and March 3 (TBD). Plenary talks scheduled during the weekend will be given by C. Conley, M. Harrison-Trainor, and P. Larson. Some funding is available for students to travel to this meeting. Information is available at https://people.clas.ufl.edu/r-tuckerdrob/seals-2025/.

• Logicon May 19–21, 2025 Mexico City, Mexico. Logicon, hosted by the Facultad de Ciencias of UNAM, will focus on set theory, logic, and related areas. The local organizers are I. Barrón Jimenez, J.J. Valenzuela Morales, and M. Torres Ruiz. More information will be available at https://logicon.mx/2024/08/20/logicon-mmxxv-2025/. (ASL Sponsored Meeting.)

• 30th Workshop on Logic, Language, Information and Computation July 14–17, 2025 Porto, Portugal. WoLLIC is an annual international forum on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. WoLLIC 2025 will be hosted by the Department of Computer Science in the Faculty of Sciences of the University of Porto. The Programme Committee is chaired by D. Kozen, while S. Alves and M. Florido co-chair the Organizing Committee. More information is available through https://wollic2025.github.io/. (ASL Sponsored Meeting.)

• Computability in Europe July 14–18, 2025 Lisbon, Portugal. CiE 2025 will take place on the campus of the Faculdade de Ciências of the Universidade de Lisboa. The Programme Committee is chaired by A. Beckmann and I. Oitavem. The abstract deadline for submissions to the conference proceedings volume is January 26, 2025, with the full submission due one week later. For details please visit https://sites.google.com/view/cie2025-computabilityineurope/home. (ASL Sponsored Meeting.)

• Ph.D. Abstracts in the Bulletin of Symbolic Logic. Since 2018, the Bulletin of Symbolic Logic has published abstracts of recent doctoral theses in logic. For further information, or to inform the editor of a newly completed dissertation for inclusion, see http://aslonline.org/journals/the-bulletin-of-symbolic-logic/logic-thesis-abstracts-in-the-bulletin-of-symbolic-logic/. Sandra Müller is the editor for this section of the BSL.

• New ASL Books. To see new books in the ASL’s Lecture Notes in Logic and Perspectives in Logic series, visit http://aslonline.org/books/lecture-notes-in-logic/ for LNL volumes and http://aslonline.org/books/perspectives-in-logic/ for Perspectives volumes.

• Emeritus and Retired ASL Individual Membership. The ASL offers retired individual members two membership options. Emeritus membership includes all the privileges of regular individual membership and is available to retired individuals who have been members of the ASL for 15 years. The dues for Emeritus membership for 2025 are US$57. The privileges attached to Retired membership include the ASL Newsletter and the right to vote in ASL elections, but do not include subscriptions to the ASL journals. Retired membership is offered to retired individuals who have been members of the Association for 20 years and is free. For more information about both options, visit http://aslonline.org/membership/.

• Free Individual ASL Membership Program for Individuals in Developing Economies. The ASL invites applications for an initial 2-year free membership in the Association for new and lapsed members from countries classified as developing economies. The list, which can be found at https://aslonline.org/membership/world-bank-list/ includes Brazil, Bulgaria, China, Colombia, India, South Africa, and many other countries classified as “upper middle income” or below on the World Bank’s annual list for four of the last 5 years. To apply, please send an email to the ASL Committee on Membership at e-mail: [email protected]. Include your name, full mailing address, and your academic affiliation. Full information about the ASL and membership benefits is available at http://aslonline.org/membership/individual-membership/. After the initial 2-year period new members under this program will pay the reduced membership dues, US$18 for 2024, as long as their country of residence is on the ASL’s list of developing economies.

• Discounted Dues for New ASL Individual Members. The ASL offers a 50% discount on dues for new individual members during each of the first 2 years of membership. Visit http://aslonline.org/membership/individual-membership/ for more information.

• Reduced Dues for Individuals and Institutions in Developing Economies. The ASL offers reduced dues for individuals and institutions in developing economies. For 2025, the reduced dues are US$18 for individuals and US$130 for institutional basic membership, US$180 for institutional full membership. These dues apply to individuals and institutions residing in countries whose economies are classified as “upper middle income” or below on the World Bank’s annual list for four of the last 5 years. For further information, visit http://aslonline.org/membership/individual-membership/ or contact the ASL Business Office: ASL, Dept. of Mathematics, Univ. of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA; tel: +1-860-486-3989; fax: +1-860-486-4238; email: e-mail: [email protected].

• Book and Journal Discounts for ASL Members. Several publishers offer discounts on books and journals to ASL members. For a detailed description of these discounts, see http://aslonline.org/membership/member-services-and-resources/ or write to the ASL Business Office.

• Student Travel Awards: ASL and ASL-Sponsored Meetings. Student members of the ASL may apply for travel grants to ASL and ASL-sponsored meetings, as identified in the listings below. To be considered for a travel award, please (1) send a letter of application, and (2) ask your thesis supervisor to send a brief recommendation letter. The application letter should be brief (preferably one page) and should include: (1) your name; (2) your home institution; (3) your thesis supervisor’s name; (4) a one-paragraph description of your studies and work in logic, and a paragraph indicating why it is important to attend the meeting; (5) your estimate of the travel expenses you will incur; and (6) (voluntary) indication of your gender and minority status. Women and members of minority groups are strongly encouraged to apply. Application by email is encouraged; put “ASL travel application” in the subject line of your message.

The Logic Colloquium and the North American Annual Meeting often have their own rules for travel grant applications. For all meetings apart from those, applications and recommendations should be submitted via email to e-mail: [email protected] or to the ASL Business Office (ASL, Dept. of Mathematics, Univ. of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA). They must be received at least three months prior to the start of the meeting, and membership in the ASL is required. Decisions will be communicated at least two months prior to the meeting.

Official ASL meetings include the Logic Colloquium, the North American Annual Meeting, the Simposio Latino Americano de Lógica Matemática, the Asian Logic Conference, the ASL Winter Meeting, and the ASL-APA annual joint meeting. Many other logic meetings are sponsored by the ASL; these are identified as such in the list of upcoming meetings that appears below.

• 2025 ASL Winter Meeting (at JMM) January 10–11, 2025 Seattle, Washington, USA. The 2025 ASL Winter Meeting will take place during the last two days of the 2025 Joint Mathematics Meetings, at the Seattle Convention Center. The Program Committee consists of A. Chernikov (chair), N. Dobrinen, and J. Miller. The invited speakers are M.F. Balcan, A. Bernshteyn, A. Block Gorman, T. Slaman, D. Turetsky, J. Ye, and A. Zucker. The first two days of the JMM, January 8–9, will include the ASL Tutorial in Logic, presented by S. Starchenko, and also the ASL Special Session on Combinatorial Set Theory, organized by J. Cummings and S. Unger.

To participate in either the ASL Winter Meeting or the events of the larger JMM, one must register for the entire Joint Mathematics Meetings, whose website is https://jointmathematicsmeetings.org/jmm.

• 2025 ASL Winter Meeting (with APA) February 20–22 and February 27–March 1, 2025 virtual. The 2025 APA Central Division Meeting is fully online and will take place over two consecutive weeks, with the ASL sessions being held between Thursday, February 27 and Saturday, March 1. Registration will give you access to the full online meeting. The website for the APA conference is https://www.apaonline.org/mpage/2025central, where registration is available. The ASL invited speakers are D. Blue, C. Franks, S. Gandon, V. Halbach, O. Magidor, and G. Sagi, while the Program Committee consists of B. Halimi, J. Kennedy (chair), and A. Villaveces.

The APA holds three regional annual meetings each year, one of which (on a rotating geographical basis) is designated as joint with the ASL. In 2025, this one APA regional meeting is being held virtually, while the other two are in-person. The ASL welcomes opinions from participants on the success or shortcomings of this online meeting, as we consider whether to designate the online meeting or an in-person regional meeting as the ASL-APA joint meeting in subsequent years. Such opinions may be sent to e-mail: [email protected].

• North American Annual Meeting May 13–16, 2025 Las Cruces, New Mexico, USA. The 2025 ASL North American meeting will be held at New Mexico State University. The plenary speakers will be M. Malliaris, A. Poveda, B. Castle, P. Lutz, F. Weilacher, and S. Artemov, with tutorials presented by J. Wolf and M. Soskova. Special sessions are planned in Combinatorics and Logic; Computability Theory; Modal Logic; Model Theory; Proof Assistants; and Set Theory. The Program Committee consists of U. Andrews, V. de Paiva, I. Shapirovsky, C. Terry, and S. Thomas (chair), while the Organizing Committee includes J. Harding (chair), A. Kornell, J. Lucero-Bryan, P. Morandi, B. Olberding, I. Shapirovsky, and S. Tran.

The deadline for both contributed talk submissions and student travel applications is February 13, 2025. Abstracts, which must abide by the Rules for Abstracts (see page 6), should be sent to Shannon Miller at e-mail: [email protected]. Student travel applications should likewise be sent to Shannon Miller, following the instructions on page 5 above. The meeting website is https://math.nmsu.edu/asl-2025/index.html.

• Rules for Abstracts. The rules for abstracts of contributed talks (including those submitted “by title”) at the ASL meetings listed below may be found at http://aslonline.org/rules-for-abstracts/. Please note that abstracts must follow the rules as set forth there; those which do not conform to the requirements will be returned immediately to the authors who submitted them. Revised abstracts that follow the rules will be considered if they are received by the announced deadline.