• The 2025 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 three years beginning January 1, 2026. 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 appointed a Nominating Committee to nominate candidates for these offices. The Nominating Committee consists of C. Brech, A. Dawar, J. Floyd, F. Liu, R. Solomon, S. Terwijn, and M. Viale. 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 (e-mail: 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, 2025. In a contested election, each candidate has the opportunity to make a 100-word statement to be distributed with the ballot.

• 2025 Sacks Prize. The ASL invites nominations for the 2025 Sacks Prize for the most outstanding doctoral dissertation in mathematical logic. Nominations must be received by September 30, 2025. 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 five 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 2025 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, 2024, and September 30, 2025, 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 1–2 page description of 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 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.

• New Logic Journal. We draw the attention of the logic community to a new academic journal, the Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, launched by the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften. Simultaneously, the DVMLG terminated its sponsorship of the Mathematical Logic Quarterly, previously published under its auspices by John Wiley & Sons. The new ZML will be an English-language diamond open access journal fully under the control of the academic community and not involving any commercial publishers. All papers will be freely published under Creative Commons licenses. The journal website, which includes an open letter from the editors, is https://zml.international/.

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

The ASL North American meetings ordinarily cycle geographically between midwest (Ames, IA 2024), west (Las Cruces, New Mexico 2025), and east (Philadelphia, PA 2026). Thus, for 2027, the committee seeks a location in the midwest. However, any reasonable proposal will be considered. For more information, interested parties should contact Dima Sinapova, the Committee Chair (e-mail: dima.sinapova@rutgers.edu), ideally no later than September 30, 2025.

• 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 ASL and ASL-sponsored 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 three months prior to the start of the meeting. 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 designated as such in the list below of upcoming meetings in logic.

It is hoped that NSF funding may be available for travel to the 2026 SLALM in Bogotá, Colombia (see page 4). If so, it would be available to researchers (including students) based in the USA. Anyone who is interested in this funding and sends an email to Russell.Miller@qc.cuny.edu to indicate their interest will be kept informed of the status of the grant proposal and the possible availability of this funding.

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

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

• Asian Logic Conference September 8–12, 2025, Kyoto, Japan. The biennial Asian Logic Conference is planned to be held at Kyoto Sangyo University. The plenary speakers include A. Chernikov, S. Gao, F. Liu, T. Nemoto, K. Terui, and D. Turetsky. Special sessions will be held covering computability, model theory, philosophical logic, proof theory, and set theory. The Program Committee consists of M. Banerjee, L. Ding, N. Greenberg, T. Kihara, K.M. Ng, D. Raghavan, K. Sano, K. Takeuchi, T. Usuba, and K. Yokoyama (Chair). The Organizing Committee consists of J. Brendle (Co-Chair), S. Katsumata, A. Kawamura, M. Kikuchi, H. Miyoshi (Co-Chair and Local Chair), and K. Yokoyama. For more information, please visit https://www2.kobe-u.ac.jp/~brendle/alc2025/main.html.

• 2026 ASL Winter Meeting (at JMM) January 4–7, 2026, Washington, DC, USA. The 2025 ASL Winter Meeting will take place during the last two days of the 2026 Joint Mathematics Meetings, at the Washington Convention Center. The Program Committee consists of U. Andrews (Chair), A. Block Gorman, and A. Shani. The invited speakers are F. Calderoni, D. Dzhafarov, G. Ervin, R. Moosa, J. Pi, and J. Zomback. The first two days of the JMM, January 4–5, will include the ASL Tutorial in Logic, presented by D. Haskell, and also the ASL-AMS Special Session on Computability and its Applications, organized by J. Franklin, V. Harizanov, and W. Calvert.

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. The deadline for submitting abstracts for ASL contributed talks was September 1, 2025. The deadline for student travel applications is October 4, 2025. Applications should be sent to Shannon Miller at e-mail: asl@uconn.edu, following the rules on page 2 above.

• 2026 ASL Winter Meeting (with APA) February 18–21, 2026, Chicago, IL, USA. The 2025 APA Central Division Meeting will include the annual ASL-APA joint meeting. The website for the APA conference is https://www.apaonline.org/mpage/2026central, where registration is available. The ASL invited speakers are N. Barton, J. Chen, M. Łełyk, Ø. Linnebø, J. Walsh, and F. Zaffora Blando. The Program Committee consists of A. Enayat, J. D. Hamkins, and S. Zhang. The deadline for submission of student travel award applications (see page 2 above) is November 18, 2025: applications should be sent to Shannon Miller at e-mail: asl@uconn.edu.

• 2026 Simposio Latino Americano de Lógica Matemática June 1–5, 2026, Bogotá, Colombia. The 21st SLALM will be hosted by the Universidad de los Andes in Bogotá, the capital of Colombia. The Program Committee includes M. Busaniche, P. Cubides Kovacsics, L. del Carmen González Huesca, I. D’Ottaviano, R. Miller, E. Pimentel, R. Rodrigues (Chair), R. Wassermann, and R. Zamora. The local organizers include A. Berenstein, P. Cubides Kovacsics, and A. Onshuus.

As mentioned on page 2, it is hoped that NSF funding may be offered for the 2026 SLALM. If so, then under NSF rules it would be available to researchers (including students) based in the USA. Anyone who is interested in this funding and sends an email to Russell.Miller@qc.cuny.edu to indicate their interest will be kept informed of the status of the grant proposal and the possible availability of this funding.

• 2026 North American Meeting July 19–22, 2026, Philadelphia, PA, USA. The 2026 ASL North American Annual Meeting will be hosted by the University of Pennsylvania, to coincide with with the International Congress of Mathematicians, which begins on July 23 in Philadelphia. Notice that this is well after the usual time of year for this conference. The Program Committee consists of R. Alvir, P. Blanchette. J. Cummings, M. Malliaris, and A. Scedrov. The local organizers are A. Anderson, W. Ewald (Co-Chair), G. Japaridze, S. Lindell, S. Scedrov, V. Tannen, H. Towsner (Co-Chair), and S. Weinstein.

• Conference for Jörg Brendle’s 60th birthday September 1–5, 2025, Kobe, Japan. This conference is organized by D. Mejía, H. Minami, H. Sakai, and T. Yorioka, and will be held at Kobe University during the week immediately before the Asian Logic Conference in Kyoto (see above). Updated information is available at https://sites.google.com/view/brendle60/. (ASL Sponsored Meeting.)

• Proof Society Summer School and Workshop September 1–5, 2025, Ghent, Belgium. The 7th International School and Workshop on Proof Theory continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory. A three-day summer school on September 1–3, with tutorials by A. Enayat, R. Jalali, H. Towsner, and A. Visser, will be followed by a two-day workshop on September 4–5 featuring invited lectures by T. Arai, J.P. Aguilera, I. van der Giessen, A. Setzer, and A. Beckmann, along with contributed talks. See https://alpha-delta-chi.github.io/proof2025-website/ for more information. (ASL Sponsored Meeting.)

• Journées sur les Arithmétiques Faibles (Weak Arithmetics Days) September 8–10, 2025, Prague, Czech Republic. JAF 44 will be hosted by the institute of Mathematics of the Czech Academy of Sciences. As always, it focuses on proofs in arithmetic with restricted axiom sets. Invited talks will be given by A. Atserias, L. Kołodziejczyk, and J. Krajíček. For more information, please see https://workshop.math.cas.cz/JAF44/.

• Young Set Theory 2025 September 8–12, 2025, TU Wien, Vienna, Austria. This meeting is aimed at young researchers in set theory, offering tutorials by J. Kennedy, C. Lambie-Hanson, P. Lücke, and F. Schlutzenberg, in addition to plenary talks by C. Agostini, B. De Bondt, A. Fatalini, S. Thei, and J. Zhang. The Organizing Committee is chaired by J. Aguilera and M. Iannella. More information is available at https://www.colloquium.co/yst2025. (ASL Sponsored Meeting.)

• 50 Years of Explicit Mathematics September 19–21, 2025, Tübingen, Germany. This meeting commemorates the 50th anniversary of the first publication introducing “Explicit Mathematics,” by Solomon Feferman. It will include a special session in memory of Wolfram Pohlers. The extensive list of confirmed speakers, along with further logistical information, is available at https://uni-tuebingen.de/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/conference-50-years-of-explicit-mathematics/. (ASL Sponsored Meeting.)

• Polish Congress of Logic September 22–26, 2025, Toruń, Poland. This meeting is to be hosted by the Nicolaus Copernicus University in Toruń. It will include workshops and symposia on Relating Logic; Mechanisms and Causes; Languages and Logics of Syllogistics; and Non-Fregean Logics. Further details will be available at https://logika.net.pl/pcl/.

• Rutgers Logic Conference September 26–28, 2025, New Brunswick, NJ, USA. Rutgers University will host its traditional Mid-Atlantic Mathematical Logic Seminar autumn meeting, organized by F. Calderoni and D. Sinapova. The invited speakers are T. Benhamou, W. Boney, Y. Duan, J. Freitag, V. Gitman, T. Slaman, H. Towsner, A. Tserunyan, and J. Walsh. The meeting will open on Friday afternoon and will close around mid-day on Sunday. Some travel support for students and young researchers is available through the NSF MAMLS grant: contact the organizers at e-mail: fc327@math.rutgers.edu for details. Please register at https://sites.math.rutgers.edu/~fc327/MAMLS2025/index.html.

• CICM & LSFA October 6–11, 2025, Brasilia, Brazil. The 18th Conference on Intelligent Computer Mathematics (CICM 2025) and its satellite event, the 20th Symposium on Logical and Semantic Frameworks with Applications (LSFA 2025), will take place in Brasilia. Details are available at https://cicm-conference.org/2025/cicm.php and https://lsfa-workshop.github.io/2025/. (ASL Sponsored Meeting.)

• 10th International Conference on Logic, Rationality and Interaction October 16–19, 2025, Xi’an, China. The International LORI conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series also aims at fostering a view of logic as an interdisciplinary endeavour and supports the creation of an East Asian community of interdisciplinary researchers. LORI-10 will be held at Xi’an Jiaotong University in Xi’an, China, on October 16–19, 2025. The PC chairs are V. Goranko and C. Shi, and the Organising Committee chairs are X. Ding and W. Wang. For more detailed information and the call for papers, visit golori.org/lori2025/.

• 2025 Annual Meeting of the Australasian Association for Logic November 3–7, 2025, Brisbane, Australia. The annual conference of the AAL will be held in a hybrid format, with its in-person activities at the University of Queensland. The invited speakers will include M. Jackson, A. Melnikov, A. Nies, and D. Pattinson, and the organizing committee consists of G. Badia, S. Rubin, T. Kowalski, and S. Standefer. Abstracts of contributed talks may be submitted until September 5, 2025. Please see the details available at https://sites.google.com/view/aalogic/aal-conference-2025?authuser=0. (ASL Sponsored Meeting.)

• 2026 Zagreb Logic Conference February 13–16, 2026, Zagreb, Croatia. This meeting will gather researchers from logic across philosophy, mathematics, and computer science. The Program Committee is composed of P. Blanchette, V. Čačić (Chair), Š. Dautović Kapetanović, Z. Iljazović, and A. Scedrov. The deadline for abstract submission is December 14, through the meeting website https://zlc.math.hr/. (ASL sponsorship pending.)

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

• 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 two years of membership. Visit http://aslonline.org/membership/individual-membership/ for more information.