• The 2021 ASL Election. The 2021 Nominating Committee has nominated Phokion Kolaitis (Santa Cruz), the current Vice President, for President; Natasha Dobrinen (Denver) for Vice President; Christina Brech (São Paulo) and Valentina Harizanov (George Washington University) as at-large members of the Executive Committee; and Bahareh Afshari (Gothenburg/Amsterdam) and Martin Ziegler (KAIST, South Korea) as at-large members of the Council. No other nominations were received. All terms are for 3 years beginning January 1, 2022. The Nominating Committee consisted of Andrew Arana, Michael Benedikt, Alekos Kechris, Byunghan Kim, Ulrich Kohlenbach (chair), Penelope Maddy, Heike Mildenberger, Alf Onshuus Niño, Assaf Rinot, and Reed Solomon.

Ballots for this election were distributed to all members as attachments to the November 2021 ASL Newsletter. Members are encouraged to vote! To be counted, votes must be received by the deadline of December 31, 2021.

• ASL Membership Renewal for 2022 Is Open. Online renewal for 2022 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 single year 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 [email protected].

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. The ASL is working with CUP to develop a better system, still conforming to the EU regulations. In the meantime, we encourage all those whose memberships expire in 2021, especially those who may have opted out of email, to be careful to renew their memberships in a timely fashion!

• 2021 Sacks Prize. The ASL Committee on Prizes and Awards has awarded the 2021 Sacks Prize to Dr. Marcos Mazari Armida, currently at the University of Colorado. Here is the citation by the Committee:

• 2022 AMS Levi L. Conant Prize. The Levi L. Conant Prize recognizes the best expository paper published in either the Notices of the AMS or the Bulletin of the AMS in the preceding 5 years. The AMS has awarded the 2022 Conant Prize to Andrej Bauer, professor of computational mathematics at the University of Ljubljana in Slovenia, for his article “Five stages of accepting constructive mathematics” in the Bulletin of the AMS 54 (2017), pp. 481–498. The full citation by the American Mathematical Society may be found at https://www.ams.org/news?news_id=6827.

• 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 http://aslonline.org/membership/world-bank-list-as-of-october-2021-for-2022-memberships/ includes Brazil, Bulgaria, 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 [email protected]. Include your name, full mailing address, and your academic affiliation. For information about the ASL and membership benefits, visit 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 2022, 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.

• 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 2022 are US$54. 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/.

• Reduced Dues for Individuals and Institutions in Developing Economies. The ASL offers reduced dues for individuals and institutions in developing economies. For 2022, 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 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 more information, visit http://aslonline.org/membership/individual-membership/ or contact the ASL Business Office (address in the Newsletter masthead).

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

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

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

• New ASL Journal Policies. The ASL Committee on Publications and the ASL Publisher have prepared new guidelines for authors submitting papers to each of the ASL journals. Links to these guidelines may be found on the journal pages within the ASL website:

• • JSL: http://aslonline.org/journals/the-journal-of-symbolic-logic.

• • BSL: http://aslonline.org/journals/the-bulletin-of-symbolic-logic.

• • RSL: http://aslonline.org/journals/the-review-of-symbolic.

A new version of the Publications Ethics Policy has also been posted, at http://aslonline.org/journals/publication-ethics-policy/. All authors are expected to be familiar with, and to follow, these guidelines. These new guidelines incorporate changes in the editorial management system (now with EditFlow) as well as several items to reflect changes in the general publishing world. These include requirements for abstracts and AMS classification numbers (MSC 2020) as well as recommendations for other metadata, such as ACM CCS designators and ORCID identifiers for authors. Several major changes come in response to the need to implement forms of open access. All ASL journals have become hybrid, i.e., papers will be published in the traditional way but also open access publishing will be allowed when supported by authors’ funders or institutions in any of several ways. Thus copyrights will be left with authors but appropriate licence-to-publish agreements will be required instead of copyright transfers. The Publication Ethics Policy has been extended to include procedures that reflect expectations about such issues as discrimination, harassment, and the like as well as developments in the legal requirements in these areas and in those of economic and trade sanctions.

The ASL Committee on Publications has also adopted a new policy to the effect that all submissions to ASL journals must be written in English. This new policy will take effect on January 1, 2023, i.e., all new submissions to ASL journals on or after that date must be written in English.

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

• Student Travel Awards: ASL and ASL-Sponsored Meetings. Student members of the ASL may apply for travel grants to ASL and ASL-sponsored meetings. 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; (6) (for citizens or residents of the USA) citizenship or visa status; and (7) (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 or ASL-sponsored meetings except the Logic Colloquium and the North American Annual Meeting, applications (from student members of the ASL) and recommendations must be received at least 3 months prior to the start of the meeting, via email to [email protected] or at the ASL Business Office (address at the top of this Newsletter). Decisions will be communicated at least 2 months prior to the meeting.

Extra support for US-based students may be available for the 2022 Simposio Latino Americano de Lógica Matemática in Costa Rica. For details, please see the description of this meeting 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 6 months before the beginning of the meeting, following the instructions at http://aslonline.org/sponsorship-of-meetings/.

• Mailing of Journals. For some months during the current pandemic, Cambridge University Press was unable to maintain its usual schedule of printing and mailing ASL journals to our members. The mailing of journals has resumed and is catching up, but it will take time to work through the backlog. All journals remain available online to members as always, and electronic copies of the September and November ASL Newsletters included attachments (also available at http://aslonline.org/other-information/617-2/) providing links to all articles that had appeared online in ASL journals between June 1 and November 1, 2021. However, the arrival of printed copies still could be significantly delayed. CUP has apologized to the ASL Publisher for the delays, and requests that we all recognize the significant challenges posed by the pandemic.

• Status of Scheduled Meetings. Under the circumstances of the coronavirus pandemic and the measures in place to combat it, many logic meetings scheduled for 2021 and 2022 have already been canceled or shifted online, and it is likely that more will be canceled or postponed. Information appearing here is current as of publication, but ASL members should use the URL given in each item to confirm the ongoing status of any meeting they may consider attending. For completeness, the listings here include short items for postponed meetings, even when the new dates are uncertain.

We urge all logicians to use caution and common sense in planning their schedules, and to avoid unnecessary travel during these unusual times.

• Online Logic Seminars. To replace canceled meetings and seminars, certain regular online logic seminars have sprung up. A list of existing seminar series with talks available online appears at miguelmath.com/webminars.html. Additionally, the site lagrange.math.siu.edu/calvert/OnlineLogicSeminar.html has been created to host a new, purely online logic seminar. The site ctaseminar.computability.org hosts an online seminar entitled Computability Theory and Applications. The Logic Supergroup at logic.uconn.edu/supergroup/ runs an online seminar on logic across linguistics, mathematics, and philosophy. The website nylogic.github.io/ lists ongoing seminars in logic and set theory organized by the CUNY Graduate Center.

• 2021–22 ASL Winter Meeting (with Joint Mathematics Meetings) January 7–8, 2022 Seattle, WA. As usual, the ASL Winter Meeting will be held as part of the Joint Mathematics Meetings (JMM), which is scheduled as an in-person meeting on January 5–8, 2022 in Seattle, WA. For the Winter Meeting, on January 7–8, the invited speakers are J. Avigad (Carnegie Mellon), O. Ben-Neria (Hebrew University), P. Cholak (Notre Dame), F. Jahnke (Münster), S. Müller (TU Wien), L. Scow (Cal State San Bernardino), and E. Walsberg (UC Irvine). The first annual ASL tutorial at the JMM, “From noncommutative algebra to model theory—via Poisson algebras,” will be given by Omar León Sánchez (Manchester) on January 5. The JMM will also include the ASL Special Session on the Model Theoretic Classification Program, organized by A. Chernikov (UCLA) and N. Ramsey (UCLA), to be held in two sessions on January 6. The Program Committee for the ASL-JMM meeting consists of D. Bartošová (Florida), K. Eisenträger (Penn State), J. Freitag (UIC, chair), and P. Hieronymi (UIUC). The program for the ASL Winter Meeting is available at www.aslonline.org/wp-content/uploads/2021/11/2022JMMLongProgram.pdf.

Beginning this year, the JMM will be organized primarily by the American Mathematical Society. The AMS has enlisted a number of partner organizations, including the ASL, to provide mathematical content and social events at the JMM. For more information, see https://www.jointmathematicsmeetings.org//jmm.

• 2022 ASL Winter Meeting (with APA) February 23–26, 2022 Chicago, IL. The 2022 ASL-APA meeting will be held in conjunction with the Central Division of the APA, which is planned as an in-person meeting at the Palmer House Hilton in Chicago, IL. A preliminary program for this meeting is available at www.aslonline.org/wp-content/uploads/2021/11/APALongProgram2022.pdf. The invited speakers for the ASL-APA meeting include T. Bays (Notre Dame), R. Cook (Minnesota), S. Ebels-Duggan (Northwestern), E. Nutting (Kansas), S. Shin (Yale), and M. Titelbaum (Wisconsin). The Program Committee consists of M. Rossberg and G. Sher (chair). Further information can be found at https://www.apaonline.org/events/EventDetails.aspx?id=1256298&group=.

• 2022 ASL North American Annual Meeting. April 7–10, 2022 Cornell University, Ithaca, NY. The 2022 North American ASL meeting will be held at Cornell University. It is planned as an in-person meeting. The plenary speakers include W. Boney (Texas State), J. Floyd (Boston University), T. Ho (California State Northridge), M. Hrusak (UNAM), J. Keisler (Wisconsin), A. Razborov (Chicago), R. Tucker-Drob (Florida), and A. Wigderson (IAS). J. Knight (Notre Dame) will give her Retiring Presidential Address. The tutorial will be given by I. Goldbring (UC Irvine), and a panel discussion entitled “Mathematical logic in the pandemic era” will be moderated by J. Franklin (Hofstra) and D. Haskell (McMaster). There will be special sessions (listed with organizers) in Aspects of Logic and Machine Learning (J. Freitag and V. Harizanov), Computability Theory (A. Montalbán), Homotopy Type Theory (E. Riehl), Models of PA (R. Kossak), Philosophy (L. Patton), and Set Theory (S. Solecki).

The Program Committee consists of W. Calvert, V. Kabanets, J. Moore, R. Patel, S. Shieh, and J. Zapletal (chair), while the Organizing Committee consists of R. Constable, H. Hodes, A. Kocurkek, D. Kozen, J. Moore (chair), A. Nerode, and S. Solecki. The deadline for contributed talk submissions and student travel applications has passed. For updates, please see http://aslonline.org/meet/.

• Rules for Abstracts. The rules for abstracts of contributed talks at the above ASL meetings (including those submitted “by title”) 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.

• 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, please visit the site http://aslonline.org/journals/the-bulletin-of-symbolic-logic/logic-thesis-abstracts-in-the-bulletin-of-symbolic-logic/. Christian Rosendal is the editor for this section of the BSL.

• 2022 Logic Colloquium (ASL European Summer Meeting). June 27–July 1, 2022 Reykjavik, Iceland. Logic Colloquium 2022 is planned as a hybrid meeting with substantial in-person attendance in Reykjavik, Iceland. Further details will be forthcoming soon.

• 2022 Simposio Latino American de Lógica Matemática. July 26–30, 2022 San Jose, Costa Rica. The 2022 SLALM will be held on the campus of the Universidad de Costa Rica, mainly as an in-person meeting. The Scientific Committee includes E. Barrio, E. Casanovas, V. Fischer, V. Harizanov, H. Mariano, A. Montalbán, S. Montenegro Guzmán, and A. Onshuus, while the Organizing Committee consists of S. Montenegro Guzmán and R. Zamora Calero. A preliminary webpage is available at https://paginas.cimpa.ucr.ac.cr/slalm/index.php/es/inicio/descripcion-general, to be updated as more details are settled.

The ASL hopes to receive a grant from the National Science Foundation to support travel to this meeting by US-based participants. Logicians who are interested and eligible for support should send their names promptly to Russell Miller at [email protected]. Per NSF rules, to be eligible, a participant must be either a US citizen, or a student (of any nationality) at a US educational institution. It is not necessary to be an ASL member. Those who respond will be updated as the status of the grant is determined.

• Logical Foundations of Computer Science 2022 January 10–13, 2022 Deerfield Beach, FL. This meeting is planned to be in-person, possibly supplemented with remote access to the talks. The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. Members of the Steering Committee for the LFCS series are A. Nerode (General Chair), S. Cook, D. van Dalen, Y. Matiyasevich, S. Buss, A. Scedrov, and D. Scott. Please visit https://lfcs.ws.gc.cuny.edu for more information regarding LFCS 2022. (ASL Sponsored Meeting.)

• Computability in Europe 2022 July 11–15, 2022 Swansea, UK. The 2022 meeting of the CiE series will be hosted by Swansea University, mainly as an in-person meeting. Abstracts of contributed submissions should be registered by January 14, 2022. Further information is available at https://cs.swansea.ac.uk/cie2022/.

• 36th Summer Topology Festival July 18–23, 2022 Vienna, Austria. This meeting is planned as a mostly in-person event, with a partial focus on logic, including a special session in set-theoretic topology. The invited speakers include A. Kwiatkowska and M. Magidor. Please consult https://www.univie.ac.at/projektservice-mathematik/e/index.php?event=stc21 for updates. (ASL Sponsored Meeting.)

• Panhellenic Logic Symposium Originally July 14–18, 2021 Volos, Greece. This meeting has been postponed to July 2022. For further information, please see http://panhellenic-logic-symposium.org/13/.

• Sao Paulo School of Advanced Science on Contemporary Logic, Rationality, and Information Originally July 13–24, 2020 University of Campinas, Campinas, Brazil. This School, originally scheduled for July 2020, has been postponed, with no rescheduled date yet set. See https://splogic.org/ for updates.