NOTICES

• • The 2021 ASL Election. At the end of this year the ASL will elect its President, its Vice President, two members of the Executive Committee and two members of the Council. All terms are for three years beginning January 1, 2022. 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) for the Executive Committee positions; and Bahareh Afshari (Gothenburg/Amsterdam) and Martin Ziegler (KAIST, South Korea) for the Council positions. The 2021 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.

  Nominations for these positions, in addition to those made by the Committee, may be made by petition signed by 20 or more ASL members; such petitions should be received by the ASL Secretary-Treasurer (E-mail: [email protected] or ASL, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA) no later than November 1, 2021. In a contested election, each candidate has the opportunity to make a 100-word statement to be distributed with the ballot, which will be sent with the November ASL Newsletter.

• • 2021 Sacks Prize. The ASL invites nominations for the 2021 Sacks Prize for the most outstanding doctoral dissertation in mathematical logic. Nominations must be received by September 30, 2021. 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 2021 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, 2020 and September 30, 2021, 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 adviser, 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 adviser, 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, Justin Moore; pdf files sent as attachments by email to [email protected] 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, Dept. of Mathematics, Univ. of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA. All such contributions are tax-deductible within the USA.

• • 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 ASL student member travel grants to the 2022 North American Annual Meeting, applications should be sent directly to the Program Chair, Jindrich Zapletal, by December 1, 2021, at [email protected]. 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 (ASL, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA). Decisions will be communicated at least two months prior to the meeting.

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

• • 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 now is also available. Details appear at https://www.cambridge.org/ core/services/open-access-policies.

• • 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 ASL Newsletter included an attachment (also available at http://aslonline.org/wp-content/uploads/2021/09/Sept2021articlelinks.pdf) providing links to all articles that had appeared online in ASL journals between June 1 and September 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 have already been canceled, 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 Asian Logic Conference canceled. We regret to announce that the Asian Logic Conference scheduled for 2021 has been canceled due to the coronavirus pandemic. The next Asian Logic Conference is scheduled to occur in 2023.

• • 2021–2022 ASL Winter Meeting (with Joint Mathematics Meetings) January 7–8, 2022, Seattle, WA, USA. 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, 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). 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).

  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. In addition to the ASL’s own Winter Meeting on January 7–8, the JMM will include the ASL Special Session on the Model Theoretic Classification Program, organized by A. Chernikov (UCLA) and N. Ramsey (UCLA), as well as the tutorial described above.

  Student travel applications for this conference are due on October 7, 2021 and should be sent to Shannon Miller at [email protected]. For more information, see 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. Information is available at https://www.apaonline.org/events/EventDetails. aspx?id=1256298&group=. 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). The deadline for student travel award applications (see p. 5) is November 23, 2021.

• • 2022 ASL North American Annual Meeting. April 7–10, 2022, Cornell University, Ithaca, NY, USA. The 2022 North American ASL meeting will be held at Cornell University. It is planned as an in-person meeting. 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 student travel award applications (see p. 5) and for contributed talk submissions is December 1, 2021. Abstracts for contributed talks should conform to the Rules for Abstracts (below), and should be sent to [email protected].

• • 2022 Logic Colloquium (ASL European Summer Meeting). June 27 to 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.

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

• • 27th Workshop on Logic, Language, Information and Computation 2021 October 5–8, 2021, online. WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. WoLLIC 2021, which will be held as an online meeting, is organized by the Universidade de São Paulo and the Centro de Informática of the Universidade Federale de Pernambuco, in Brazil, and the University College London, in the UK. The website for the conference series is wollic.org. (ASL Sponsored Meeting.)

• • Logical Foundations of Computer Science 2022 January 10–13, 2022, Deerfield Beach, Florida. 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.)

• • Panhellenic Logic Symposium Volos, Greece. This event, originally scheduled for July 2021, 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 University of Campinas, Brazil. This School, originally scheduled for July 13–24, 2020, has been postponed, with no rescheduled date yet set. See https://splogic.org/ for updates.

• • Ph.D. Abstracts in the Bulletin of Symbolic Logic. The Bulletin of Symbolic Logic publishes abstracts of recent Ph.D. theses in logic. Christian Rosendal is the editor for this section of the BSL. For further information, or to inform the editor of a newly completed dissertation, visit http://aslonline.org/journals/the-bulletin-of-symbolic-logic/ logic-thesis-abstracts-in-the-bulletin-of-symbolic-logic/.

• • 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 2021 are US$51. 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/individual-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 includes Brazil, Bulgaria, Colombia, India, South Africa, and other countries classified as “upper middle income” or below on the World Bank’s annual list for four 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, currently US$18, as long as their country of residence is on the ASL’s list of developing economies. (The most recent list is available at http://aslonline.org/ membership/world-bank-list-as-of-october-2020-for-2021-memberships/.)

• • Reduced Dues for Individuals and Institutions in Developing Economies. The ASL offers reduced dues for individuals and institutions in developing economies. For 2021, the reduced dues are US$18 for individuals, US$130 for basic institutional membership, US$180 for full institutional 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 5 years. For more information, see http://aslonline.org/membership/individual-membership/ or http://aslonline.org/membership/institutional-membership/ or contact the ASL Business Office.