Hostname: page-component-76d6cb85b7-vdhp9 Total loading time: 0 Render date: 2026-07-21T20:30:26.535Z Has data issue: false hasContentIssue false
  • English
  • Français

NOTICES

Published online by Cambridge University Press:  02 March 2026

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 32 , Issue 1 , March 2026 , pp. 200 - 206
Check for updates
Copyright
© The Author(s), 2026. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

  • • The 2025 ASL Election. In the 2025 election, the members of the ASL elected 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) as at-large members of the Executive Committee; and Katrin Tent (Universität Münster) and Liuzhen Wu (Chinese Academy of Sciences) as at-large members of the ASL Council. All terms are for three years beginning January 1, 2026. Many thanks to all those who voted.

  • • 2025 Sacks Prize Awarded. The ASL Committee on Prizes and Awards has awarded the 2025 Sacks Prize to Dr. Obrad Kasum for the thesis Investigation into phenomena surrounding universally Baire sets. Here is the citation by the Committee:

    Obrad Kasum received his Ph.D. in 2025 at the Université Paris Cité, under the joint guidance of Boban Veličković of that university and Grigor Sargsyan at IMPAN, in Poland. The main goal of the thesis was to develop a connection between two lines of research: firstly in the theory of forcing axioms, in particular a class of forcing axioms with side conditions, and secondly on the rather different area of determinacy and inner models.

    He achieved some spectacular results by studying various aspects of universally Baire sets both in the context of determinacy axioms and under forcing axioms. Universally Baire sets are a generalization of Borel sets. Their defining property is that they have a canonical interpretation in any generic extension of the set theoretic universe. His work in forcing introduced a fundamental property, the ASK-condition, and yielded insights into the work, and proof, of Asperó-Schindler.

    He was also able, inter alia, to give a “bottom up” approach to define the $\operatorname {HOD}$ of various determinacy models of the form $L(R)$ augmented with further predicates under various strengthenings of the Axiom of Determinacy ( $\textbf {AD}$ ). It was known by work of Steel that such $\operatorname {HOD}$ submodels existed and were fine structural in form. However Kasum shows that there can be a novel local inductive definition analogous to the fact that the constructible universe L has such, or more generally, analogous to that of the core model in V.

    In short, Kasum has made a number of deep contributions to the study of models of determinacy and forcing axioms by the feat of mastering these two main areas of modern set theory to establish new connections and the committee judged the thesis well worthy of the Sacks Prize.

  • • New dues rates for ASL membership in 2026. Online renewal for 2026 is now available at https://www.cambridge.org/core/membership/asl. Please renew your membership promptly!

    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 for 2026 has decreased. 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 the webpage https://www.cambridge.org/core/membership/asl/membership. You will notice that it is still 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 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.

  • • 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, Iowa 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 (email: ).

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

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

    The deadline for the 2026 Logic Colloquium is March 23, 2026, and that for the 2026 North American Annual Meeting is April 19, 2026. For these two meetings, applicants need not be members of the ASL. The Logic Colloquium and the North American Annual Meeting are partially supported by funding from the National Science Foundation of the USA. Additionally, some NSF funding is available to support travel to the 2026 SLALM in Bogotá, Colombia by researchers (including students) based in the USA. For full details about applying for travel support for these meetings, please see the conference listings on pages 3 and 4 below. Air travel paid for using these NSF funds must be in accordance with the Fly America Act.

    For all travel grants to ASL and ASL-sponsored meetings except those funded by the NSF, 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; a list of these appears below, followed by a further list of other upcoming meetings in logic.

  • • 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 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 plenary speakers include S. Anscombe, X. Caicedo, M. Coniglio, A. Felty, V. Fischer, M.J. Frápoli, and X. Vidaux, while I. Goldbring will give a tutorial. (A second tutorial is also planned.) There will be special sessions, with both invited and contributed talks, in Algebraic and Nonclassical Logic; Computer Science Logic; Model Theory; Philosophical Logic; Recursion and Computability Theory; and Set Theory.

    The Program Committee includes C. Brech, M. Busaniche, P. Cubides Kovacsics, L. del Carmen González Huesca, C. di Prisco, I. D’Ottaviano, D. Haskell, R. Miller, A. Pardo, R. Rodriguez (chair), R. Wassermann, and R. Zamora. The local organizers are A. Berenstein, P. Cubides Kovacsics, and A. Onshuus. Registration is available at the meeting website https://slalm21.uniandes.edu.co. The deadline for registration is April 15, 2026.

    As mentioned on page 3, some NSF funding may still available for the 2026 SLALM, to researchers (including students) based in the USA. Anyone who is interested in this funding should promptly send an email to to indicate their interest.

  • • 2026 Logic Colloquium (European Summer Meeting) June 29-July 3, 2026, Swansea, Wales, UK. The 2026 Logic Colloquium will be hosted by Swansea University. The plenary speakers are J. Aguilera, C. Antos-Kuby, L. Cohen, S. Gao, Å. Hirvonen, T. Kihara and N. Pischke. Tutorials will be presented by P. Hieronymi and R. Santhanam. In addition, this conference will present the 2026 Gödel Lecture, for which the speaker will be announced soon. The meeting includes special sessions in Computability in Analysis; Pure and Applied Proof Theory; History of Logic and Computing; Model Theory; Set Theory; and Type Theory.

    The Program Committee consists of A. Atserias, F. Ferreira (chair), A. Freund, J. Kirby, L. Kołodziejczyk, F. Point, G. Sagi, M. Seisenberger, P. Shafer, and B. Veličković. The Organizing Committee consists of T. Astarte (trusted person), A. Beckmann (co-chair), U. Berger, O. Kullmann, M. Jezinski, J. Morgan, E. Neumann, A. Pauly, O. Petrovska, C. Pradic, M. Seisenberger (chair), A. Setzer, M. Tiwari, J. Tucker and M. Valenti (co-chair). Students and recent Ph.D.’s should visit https://logiccolloquium2026.github.io/grants for specific instructions about applying for travel grants. The deadline for student travel grant applications is March 23. The deadline for contributed talks is April 1, by which date abstracts conforming to the ASL’s Rules for Abstracts (above) should be submitted via email to Shannon Miller at , as described at https://logiccolloquium2026.github.io/cfp. Further information is available online at https://logiccolloquium2026.github.io.

  • • 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. P. Kolaitis will present the Retiring Presidential Address. W. Brian, V. De Risi, J. Kennedy, J. Lutz, L. Moss, and C. Terry are the plenary speakers, and M. Harrison-Trainor and N. Ramsey will give tutorials.

    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), K. Gill, G. Japaridze, S. Lindell, A. Scedrov (co-chair), V. Tannen, H. Towsner (co-chair), and S. Weinstein. Applications for student travel grants should be emailed to Shannon Miller at by the deadline of April 19, following the instructions at https://aslonline.org/student-travel-awards/. Abstracts of contributed talks ahould also be emailed to , by the same deadline; these should follow the Rules for Abstracts (see above). More information is available at https://awainverse.github.io/asl-nam-2026/.

  • • 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. For the full list of speakers, please visit https://lts-conference.weebly.com. (ASL Sponsored Meeting.)

  • • European Set Theory May 18–22, 2026, Helsinki, Finland. The tenth European Set Theory conference will be hosted by the University of Helsinki. The website https://www.helsinki.fi/en/conferences/european-set-theory-conference, lists the many plenary and tutorial speakers. S. Müller chairs the Scientific Committee, and the Organizing Committee consists of Å. Hirvonen, J. Kennedy, T. Saarinen, and J. Väänänen. (ASL Sponsored Meeting.)

  • • Logicon 2026 May 27–29, 2026, Mexico City, Mexico. The next installment of Logicon will take place at the Instituto de Matemáticas of UNAM in Mexico City. The organizers are C. Flores Ramirez, I. Barrón Jiménez, J. Valenzuela Morales, M. Torres Ruiz, O. Medrano Martín del Campo, and P. de Lima Souza. For the list of invited speakers, please see https://logicon.mx/2025/12/11/logicon-2026-eng/. (ASL Sponsored Meeting.)

  • • Advances in Modal Logic 2026 June 29–July 3, 2026, Amsterdam, the Netherlands. The sixteenth meeting of AiML will be organized by the Institute of Logic, Language and Computation (ILLC) of the University of Amsterdam. K. Fine, D. Gabelaia, M. Mojtahedi, A. Özgün, and S. Uckelman will give invited addresses. The Program Committee is co-chaired by M. Bílková and Y. Wang, while I. van der Giessen and M. Girlando co-chair the Organizing Committee. The submission deadline for short presentations is May 5. Details appear at https://events.illc.uva.nl/aiml2026/. (ASL Sponsored Meeting.)

  • • IMS Graduate Summer School in Logic June 29–July 17, 2026, Singapore. This summer school is an annual event organized by the Institute for Mathematical Sciences (IMS) and the Department of Mathematics of the National University of Singapore. Its goal is to fill the gap between the usual doctoral courses taken by graduate students and the background that students actually need for successful research in logic. The lecturers (for one week apiece) will be W. Johnson, T. Slaman, and H. Woodin. A fair amount of financial support is available. Application is required, via the website https://ims.nus.edu.sg/events/sslogic2026/, by the deadline of March 31.

  • • Panhellenic Logic Symposium July 6–10, 2026, Athens, Greece. This is the fifteenth meeting in a series that aims to promote interaction and cross-fertilization among different areas of logic. The symposium is open to researchers worldwide who work in logic, broadly conceived. The invited speakers include E. Fokina, S. Gao, A. Kruckman, S. Todorcevic, C. Vasilakopoulou, and S. Vatev, with tutorials by A. Kechris and M. Malliaris. A. Panagiotopoulos and A. Achilleos co-chair the Scientific Committee, and C. Dimitracopoulos, N. Papaspyrou, and Y. Stephanou are the organizers. For details please see panhellenic-logic-symposium.org/15/. (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. (ASL Sponsored Meeting.)

  • • Topology, Algebra, and Categories in Logic 2026 July 27–31, 2026, Kraków, Poland. This conference will be preceded by a summer school on the same theme on July 21–25 in Kraków. The Program Committee is co-chaired by N. Bezhanishvili and N. Galatos, while Z. Gyenis, T. Kowalski, P. Łukowski, K. Słomczyńska, and M. Zaionc form the Organizing Committee. The list of speakers is available at https://iphils.uj.edu.pl/tacl/. (ASL Sponsored Meeting.)

  • • 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. Further information is available at https://wollic.org/wollic2026/. (ASL Sponsored Meeting.)

  • • CoCoGEMS @TU Wien August 3–7, 2026, Vienna, Austria. This is the first workshop of the AWM Research Network CoCoGEMS (Computability and Complexity by Gender Minorities). The participants will collaborate on designated research projects led by E. Fokina, E. Mayordomo, and E. Pimentel. Applications are being received on a rolling basis through the workshop website https://www.dmg.tuwien.ac.at/cocogems/.

  • • 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. For more details pelase see https://www.computability.org/ccr2026/. (ASL Sponsored Meeting.)

  • • AAL 2026 November 9–13, 2026, Wellington, NZ. The annual meeting of the Australasian Association for Logic moves to New Zealand this year. The early deadline for submitting abstracts of contributed talks is September 5. 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. More details appear at 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 two-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 two 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 two-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 five years. To apply, please send an email to the ASL Committee on Membership at . 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 two-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 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 five 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; .