Hostname: page-component-68c7f8b79f-tw422 Total loading time: 0 Render date: 2025-12-17T06:37:24.961Z Has data issue: false hasContentIssue false
  • English
  • Français

NOTICES

Published online by Cambridge University Press:  15 December 2025

Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content. As you have access to this content, full HTML content is provided on this page. A PDF of this content is also available in through the ‘Save PDF’ action button.

Information

Type
Announcement
Information
Bulletin of Symbolic Logic , Volume 31 , Issue 4 , December 2025 , pp. 737 - 742
Check for updates
Copyright
© The Author(s), 2025. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

  • • The 2025 ASL Election. At the end of this year the ASL will elect its Secretary-Treasurers(s), 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 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, 2025.

    The 2025 Nominating Committee has nominated Russell Miller (CUNY) and Reed Solomon (University of Connecticut) as co-Secretary-Treasurers; Juliette Kennedy (University of Helsinki) and Samaria Montenegro Guzmán (Universidad de Costa Rica) for the at-large seats on the Executive Committee; and Katrin Tent (Universität Münter) and Liuzhen Wu (Chinese Academy of Sciences) for the at-large seats on the Council. No other nominations have been received. The Nominating Committee consisted of C. Brech, A. Dawar, J. Floyd, F. Liu, R. Solomon (chair), S. Terwijn, and M. Viale.

  • • New dues rates for ASL membership in 2026. Online renewal for 2026 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.

    This past summer, the ASL Council determined and approved new membership rates. They reflect the changing costs of printing and mailing hard copies of our journals, along with the fact that essentially all of our members now have internet access and can download journal articles online.

    The basic cost of membership will decrease for 2026. Regular one-year memberships will cost USD 80 (with corresponding amounts in euros and GBP). Memberships for students and unemployed or emeritus members will cost USD 40, and outreach memberships will cost USD 10. However, these amounts will only cover online access to our three journals. Those members who wish to receive print copies of any/all of those journals will need to pay an additional fee for each. For regular members, the additional annual fee is USD 30 for each of the Journal of Symbolic Logic and the Review of Symbolic Logic, and USD 20 for the Bulletin of Symbolic Logic. Exact amounts (including for those paying reduced fees, and also multi-year memberships) appear on page 5 at the end of these Notices. You will notice that it will still be possible to select any combination of the three journals to receive in print. What has changed is that the prices for the various combinations are now different.

    Some of our members have five-year memberships that extend through 2026 or longer. For such members who requested to receive some/all journals in print, naturally the ASL will honor its commitment and will continue to send those journals in print to those members for the full term of the membership. Going forward we will offer both one- and three-year memberships, but not five-year. 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 .

  • • 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: ), ideally no later than December 31, 2025.

    The Committee on Logic in Europe seeks proposals for hosting the Logic Colloquium during the summer of 2027. Inquiries should be sent to the committee chair Andrew Arana (e-mail: ) .

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

  • • 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: , following the rules on p. 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. A preliminary program is available at https://aslonline.org/meet/. The Program Committee consists of A. Enayat, J.D. Hamkins, and S. Zhang.

  • • 2026 Simposio Latino Americano de Lógica Matemática June 1–5, 2026 Bogotá, Colombia. The twenty-first 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 organizers are A. Berenstein, P. Cubides Kovacsics, and A. Onshuus. Registration is already available at the meeting website https://slalm21.uniandes.edu.co. The deadline for registration is April 15, 2026, but abstracts for contributed talks must be submitted by Dec. 31, 2025, via the same website.

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

  • • 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 Sponsored Meeting.)

  • • Southeastern Logic Symposium February 28–March 1, 2026 Gainesville, Florida, USA. The University of Florida will again host SEALS, with additional colloquium talks expected on February 27 and March 2. As is traditional, the focus of the meeting will be on set theory, computability theory, and interactions between these and other disciplines. See https://people.clas.ufl.edu/r-tuckerdrob/seals-2026/ for updated information.

  • • Language, Truth, and Structure May 17–19, 2026 Columbus, Ohio, USA. This conference, hosted by the Ohio State University, will bring together logicians from across philosophy, mathematics, linguistics, and computer science to create interdisciplinary dialogue, with a focus on the history and philosophy of logic, formal and natural language semantics, and philosophy and foundations of mathematics. (ASL Sponsored Meeting.)

  • • Computability in Europe July 27–31, 2026 Trier, Germany. CiE 2026 will take place on the campus of the Universität Trier. The Programme Committee is chaired by V. Brattka and H. Fernau. Several other meetings are co-located with this one: Machines, Computability, Universality (MCU 2026); Computability and Complexity in Analysis (CCA 2026); and the Grammar Systems Workshop. For details please visit https://www.uni-trier.de/universitaet/fachbereiche-faecher/fachbereich-iv/faecher/informatikwissenschaften/professuren/theoretische-informatik/forschung/tagungen/cie-2026.

  • • WoLLIC 2026 August 3–6, 2026 Lima, Peru. WoLLIC is an annual international forum on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. WoLLIC 2026 will be hosted by the Universidad Nacional de Ingeniería in Lima, Peru. The Programme Committee is chaired by P. Johann, while E. Cuadro-Vargas chairs the Organizing Committee. Abstracts for contributed papers are due by February 26, 2026 via EasyChair, with further information available at https://wollic.org/wollic2026/. (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.

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

  • • 2026 ASL Membership Prices and Categories Below are full details of the new dues rates approved by the ASL Council, as described on page 1.

  • Regular 1 year, online only: $80 / GBP60 / EUR70

  • Regular 1 year, JSL print + online: $110 / GBP85 / EUR95

  • Regular 1 year, RSL print + online: $110 / GBP85 / EUR95

  • Regular 1 year, BSL print + online: $100 / GBP75 / EUR85

  • Regular 1 year, JSL, BSL print + online: $130 / GBP100 / EUR110

  • Regular 1 year, JSL, RSL print + online: $140 / GBP105 / EUR120

  • Regular 1 year, RSL, BSL print + online: $130 / GBP100 / EUR110

  • Regular 1 year, JSL, RSL, BSL print + online: $160 / GBP120 / EUR140

  • Emeritus/Student/Unemployed 1 year, online only: $40 / GBP30 / EUR35

  • Emeritus/Student/Unemployed 1 year, JSL print + online: $60 / GBP45 / EUR55

  • Emeritus/Student/Unemployed 1 year, RSL print + online: $60 / GBP45 / EUR55

  • Emeritus/Student/Unemployed 1 year, BSL print + online: $50 / GBP40 / EUR45

  • Emeritus/Student/Unemployed 1 year, JSL, BSL print+online: $70 / GBP55 / EUR60

  • Emeritus/Student/Unemployed 1 year, JSL, RSL print+online: $80 / GBP60 / EUR70

  • Emeritus/Student/Unemployed 1 year, RSL, BSL print+online: $70 / GBP55 / EUR60

  • Emeritus/Student/Unemployed 1 yr., JSL, RSL, BSL print+online: $90/GBP70/EUR80

  • Outreach 1 year, online only: $10 / GBP10 / EUR10

  • Outreach 1 year, JSL print + online: $22 / GBP20 / EUR20

  • Outreach 1 year, RSL print + online: $22 / GBP20 / EUR20

  • Outreach 1 year, BSL print + online: $18 / GBP15 / EUR15

  • Outreach 1 year, JSL, BSL print + online: $30 / GBP25 / EUR25

  • Outreach 1 year, JSL, RSL print + online: $34 / GBP25 / EUR30

  • Outreach 1 year, RSL, BSL print + online: $30 / GBP20 / EUR25

  • Outreach 1 year, JSL, RSL, BSL print + online: $42 / GBP30 / EUR35

  • Regular 3 year, online only: $240 / GBP 180 / EUR205

  • Regular 3 year, JSL print + online: $330 / GBP250 / EUR285

  • Regular 3 year, RSL print + online: $330 / GBP250 / EUR285

  • Regular 3 year, BSL print + online: $300 /GBP225 / EUR260

  • Regular 3 year, JSL, BSL print + online: $390 / GBP295 / EUR335

  • Regular 3 year, JSL, RSL print + online: $420 / GBP315 /EUR360

  • Regular 3 year, RSL, BSL print + online: $390 / GBP295 / EUR335

  • Regular 3 year, JSL, RSL, BSL print + online: $480 / GBP360 /EU410

  • Emeritus 3 year, online only: $120 / GBP90 / EUR105

  • Emeritus 3 year, JSL print + online: $180 / GBP135 / EUR155

  • Emeritus 3 year, RSL print + online: $180 / GBP135 / EUR155

  • Emeritus 3 year, BSL print + online: $150 / GBP115 / EUR130

  • Emeritus 3 year, JSL, BSL print + online: $210 / GBP160 / EUR180

  • Emeritus 3 year, JSL, RSL print + online: $240 / GBP180 / EUR205

  • Emeritus 3 year, RSL, BSL print + online: $210 / GBP160 / EUR180

  • Emeritus 3 year, JSL, RSL, BSL print + online: $270 / GBP205 /EUR230