• The 2026 ASL Election. At the end of this year, the ASL will elect 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, 2027. The ballot will be included as a pdf attachment to the electronic November ASL Newsletter, and also included along with hard copies of that Newsletter.

Per the ASL Constitution, the ASL Executive Committee will appoint a Nominating Committee to nominate candidates for these offices. Other nominations for the positions available may be made by petition signed by 20 or more ASL members; such petitions should be received by the ASL Secretary-Treasurer (email asl@uconn.edu or ASL, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA) no later than November 1, 2026. In a contested election, each candidate has the opportunity to make a 100-word statement to be distributed with the ballot.

• 2026 Sacks Prize. The ASL invites nominations for the 2026 Sacks Prize for the most outstanding doctoral dissertation in mathematical logic. Nominations must be received by September 30, 2026. The Sacks Prize was established to honor the late Professor Gerald Sacks of MIT and Harvard for his unique contribution to mathematical logic, particularly as adviser to a large number of excellent Ph.D. students. The Prize was first awarded in 1994 and became an ASL Prize in 1999. The Fund on which the Prize is based is now administered by the ASL and the selection of the recipient is made by the ASL Committee on Prizes and Awards. The Sacks Prize will consist of a cash award plus 5 years free membership in the ASL. For general information about the Prize, visit http://aslonline.org/other-information/prizes-and-awards/. Anyone who wishes to make a nomination for the 2026 Sacks Prize should consult the webpage http://aslonline.org/other-information/prizes-and-awards/sacks-prize-recipients/sacks-prize-nominations/ for the precise details of the application process. A brief summary of the procedure is provided here.

Students who defend their dissertations (equivalent to the American doctoral dissertation) between October 1, 2025, and September 30, 2026, are eligible for the Prize this year. This is an international prize, with no restriction on the nationality of the candidate or the university where the doctorate is granted. Nominations should be made by the thesis advisor, and consist of: name of student, title, and one- to two-page description of the dissertation, date and location of the thesis defense, letter of recommendation from the advisor, an electronic copy of the thesis in pdf form or the address of a website from which an electronic copy in pdf form can be downloaded, and an independent second letter of recommendation. Nominations and questions about the Prize should be sent to the Committee Chair, Jouko Väänänen; pdf files sent as attachments by email to jouko.vaananen@helsinki.fi are preferred. The form of such letters and other pertinent details can be found at the website above and need to be read prior to submitting a nomination.

Those wishing to contribute to the Sacks Prize Fund may send contributions to the ASL Business Office (ASL, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA). All such contributions are tax-deductible within the USA.

• 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 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://multimediafluids.uam.elogim.com/core/services/open-access-policies. To ascertain whether your university has an agreement as described above, use https://multimediafluids.uam.elogim.com/core/services/open-access-policies/read-and-publish-agreements. The university of the corresponding author is the determining factor. Therefore, it may be advantageous, when submitting a multi-author article, to choose the corresponding author based on this criterion.

• Call for Conference Proposals. The ASL Committee on Logic in North America requests proposals for the 2028 ASL North American Annual Meeting, to be held some time during the first 5 months of 2028. The committee seeks a university somewhere in North America and a local committee to host the meeting and handle the local arrangements.

• 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 short recommendation letter describing your progress as a student. 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.

For all meetings other than the Logic Colloquium and the North American Annual Meeting, student membership in the ASL is a prerequisite for travel grant applications. These applications and accompanying recommendations should be submitted via email to asl@uconn.edu or to the ASL Business Office (ASL, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA). They must be received at least 3 months prior to the start of the meeting. Decisions will be communicated at least 2 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 “ASL-sponsored meetings” in the list of upcoming meetings in logic that appears below.

• 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 5 months before the beginning of the meeting, following the instructions at http://aslonline.org/sponsorship-of-meetings/.

• 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.

• 2027 ASL Winter Meeting (at JMM) January 12–15, 2027, Chicago, IL, USA. The 2027 ASL Winter Meeting will take place during the last 2 days of the 2027 Joint Mathematics Meetings, January 14–15, at the McCormick Place Convention Center. The Program Committee consists of A. Tserunyan, M. Harrison-Trainor, and T. Scanlon (chair). The deadline for abstracts of contributed talks at the ASL Winter Meeting is September 15, 2026: ASL members may submit abstracts as ASL Contributed Talks via the JMM website https://jointmathematicsmeetings.org/jmm, which is also the site for JMM registration. To participate in either the ASL Winter Meeting or the events of the larger JMM, one must register for the entire Joint Mathematics Meetings.

The first 2 days of the JMM, January 12–13, will include the ASL Tutorial in Logic, presented by C. Conley, and also the ASL-AMS Special Session on Groups in Computability Theory and Descriptive Set Theory, organized by T. Ho, K. Oyakawa, and I. Scott.

The deadline for applications for ASL student travel grants for the JMM is October 12, 2026. Those applications should be sent to Shannon Miller at asl@uconn.edu, following the rules on page 1 above. The AMS has its own separate programs of JMM travel grants: see https://www.ams.org/grants-awards/travel-grants for that information.

• 2027 ASL Winter Meeting (with APA) March 24–27, 2027, Portland, OR, USA. The 2027 APA Pacific Division Meeting, held at the Hilton Portland Downtown, will include the annual ASL-APA joint meeting. The website for the APA conference is https://www.apaonline.org/events/EventDetails.aspx?id=1858195, where registration will be available. The Program Committee for the ASL-APA joint meeting consists of W. Holliday (chair), E. Pacuit, and J. Walsh. The deadline for submission of student travel award applications (see page 1 above) is December 24, 2026. ASL members may submit abstracts for contributed talks until the deadline of September 28, 2026, following the Rules for Abstracts above. Both abstracts and travel grant applications should be sent to Shannon Miller at asl@uconn.edu.

• 2027 Logic Colloquium (European Summer Meeting) September 6–10, 2027, Passau, Germany. The ASL announces that the 2027 Logic Colloquium will be hosted by the Universität Passau. Notice that the dates are somewhat later in the year than usual. Further information will be available online at https://aslonline.org/meet/ as it is determined.

• Second Workshop on Proof Mining September 7–9, 2026, Bath, UK. WPM26 will take place at the University of Bath. It is an interdisciplinary meeting addressing logical aspects of proof mining, applications throughout mathematics, and the use of proof assistants. The organizers are N. Pischke and T. Powell. For more information, see https://proof-mining-workshop.github.io/ (ASL-sponsored meeting).

• Computability, Complexity, and Randomness September 7–11, 2026, Leeds, UK. CCR 2026 will take place in Leeds, organized by N. Lutz, E. Mayordomo, P. Shafer (chair), and M. Valenti. The invited speakers include I. Altaf, R. Carroy, R. Downey, O. Gjetaj, L. Ko, Q. Le Houérou, I. Scott, and K. Yokoyama. The meeting website is https://www.computability.org/ccr2026/ (ASL-sponsored meeting).

• Computable90 September 16–18, 2026, Bletchley, Milton Keynes, UK. The National Museum of Computing (TNMOC) and the London Mathematical Society will jointly sponsor this international conference, located at TNMOC in Bletchley Park, the site of Alan Turing’s work during World War II, on the occasion of the 90th anniversary of the publication of Turing’s original paper on computable numbers. The invited speakers are V. Becher, R. Downey, J. Floyd, J. Knight, M. Rathjen, A. Shlapentokh, and A. Wigderson. The conference is co-chaired by M. Chaplain and Sir D. Turing, while the Program Committee consists of A. Brooks, J. Pila, and Sir D. Turing. Details appear at https://www.tnmoc.org/computable90-conference-details (ASL-sponsored meeting).

• Journées sur les Arithmétiques Faibles September 16–18, 2026, Warsaw, Poland. The 45th edition of the JAF, or “Weak Arithmetics Days,” will be hosted by the University of Warsaw. The invited speakers are A. Abdul-Quader, L. Patey, N. Thapen, P. Uftring, and A. Visser. The conference website is https://jaf45warsaw.wfz.uw.edu.pl/. The Scientific Committee consists of A. Enayat, L. Kołodziejczyk, M. Łełyk, and B. Wcisło. An adjoining conference on September 19 in Warsaw will celebrate the 60th birthday of Cezary Cieślinski.

• Horizons in Descriptive Set Theory October 10–12, 2026 Ithaca, NY, USA. Cornell University will host a conference in honor of Alexander Kechris on the occasion of his 80th birthday. The organizing committee consists of J. Moore and S. Solecki. More information can be found at https://math.cornell.edu/horizons-descriptive-set-theory, including a full list of the 16 confirmed speakers. It is expected that financial support will be available for those without their own source of funding: interested logicians should contact justin@math.cornell.edu .

• AAL 2026 November 9–13, 2026, Wellington, NZ. The annual meeting of the Australasian Association for Logic moves to New Zealand this year. The deadline for submitting contributed talks is September 20, with preference for submissions received by September 5. Invited talks will be presented by G. Badia, R. Downey, R. Goldblatt, B. Khoussainov, T. Kihara, A. Kruckman, E. Mares, and I. Scott. Additionally, the AAL has created a new award in honor of the late M.J. Cresswell, which will be given for the first time at this conference. The local organizers are N. Greenberg, A. Melnikov, and D. Turetsky. For more details, see https://sites.google.com/view/aalogic/aal-conference-2026?authuser=0 (ASL-sponsored meeting).

• Ph.D. Abstracts in the BSL. The Bulletin of Symbolic Logic publishes abstracts of recent Ph.D. theses in logic. Sandra Müller is the editor for this section of the BSL. Students whose theses appear there become eligible for a free 2-year membership in the ASL. Please visit aslonline.org/journals/the-bulletin-of-symbolic-logic/logic-thesis-abstracts-in-the-bulletin-of-symbolic-logic/ for further information or to inform the editor of a newly completed dissertation.

• Member Directory. To create space for publishing abstracts of Ph.D. theses in logic, the Bulletin of Symbolic Logic no longer publishes a directory of members. The member directory is still available online at https://aslonline.org/membership/ .

• 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.

• 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.

• 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.

• 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 2026 are US$40. 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 4 of the last 5 years. To apply, please send an email to the ASL Committee on Membership at e-mail: asl-membership@googlegroups.com. 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$10 for 2026, as long as their country of residence is on the ASL’s list of developing economies.

• Reduced Dues for Individuals and Institutions in Developing Economies. The ASL offers reduced dues for individuals and institutions in developing economies. For 2026, the reduced dues are US$10 for individuals, US$130 for institutional basic membership, and 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 4 of the last 5 years. For further information, visit http://aslonline.org/membership/individual-membership/ or contact the ASL Business Office: ASL, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA; tel: +1-860-486-3989; fax: +1-860-486-4238; email: asl@uconn.edu.