NOTICES

• • The 2021 ASL Election. In the 2021 election, the members of the ASL elected Phokion Kolaitis (Santa Cruz), the former Vice President, as President; Natasha Dobrinen (Denver) as 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 ASL Council. All terms are for three years beginning January 1, 2022. Many thanks to all those who voted.

• • 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 five 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 expired in 2021, especially those who may have opted out of email, to be careful to renew their memberships in a timely fashion!

• • 2022 Shoenfield Prizes. The ASL invites nominations for the Shoenfield Prizes for outstanding expository writing in the field of logic. There are two Shoenfield prizes, one for books and one for expository articles, each to be awarded simultaneously every three years; the Shoenfield Prizes were first awarded in 2007. Any book first published in the past 9 years may be considered for the book award. Any article published in the past 6 years may be considered for the article award. Nominations should be submitted to Justin Moore ([email protected]), Chair of the ASL Committee on Prizes and Awards. The deadline for nominations for the 2022 Prizes is November 1, 2022.

  The Shoenfield prizes were established by the ASL to honor the late Joseph R. Shoenfield for his many outstanding contributions to logic and to the ASL. Generations of logicians have especially valued Shoenfield’s expository gifts, and his writings provide models of lucidity and elegance. The ASL administers the fund on which the Prize is based and makes the award upon the recommendation of its Committee on Prizes and Awards. For general information about the Prize, see http://aslonline.org/asl-information/prizes-and-awards/.

• • 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 (see below), 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. These meetings are 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 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 the 2022 European Summer Meeting (Logic Colloquium), travel grant applications are accepted from students and also from recent Ph.D. recipients, until the deadline of March 24, 2022, and ASL membership is not required. For all other ASL or ASL-sponsored meetings, applications (from student members of the ASL) and recommendations must be received at least three months prior to the start of the meeting. For all of these meetings, applications should be submitted via email to [email protected] or to the ASL Business Office (ASL, Dept. of Mathematics, Univ. of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA). Decisions will be communicated at least two 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, 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 six 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 last three 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, 2021 and January 15, 2022. 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, some logic meetings scheduled for 2022 have already been canceled or shifted online, and it is possible 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.

  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.

• • ASL Special Session on the Model Theoretic Classification Program April 6, 2022 Seattle, WA (online). The 2022 Joint Mathematics Meetings, scheduled for January, were postponed on account of the current wave of the coronavirus pandemic, and have been rescheduled as an online meeting on April 6-9, 2022. Since these dates overlap with the ASL North American Annual Meeting, the ASL Winter Meeting has been canceled. However, the online JMM will still 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 April 6, the day before the North American Annual Meeting begins. As more details are confirmed, they will be available at https://www.jointmathematicsmeetings.org//jmm.

  The ASL apologizes to those who hoped to attend the Winter Meeting in person, and particularly to the speakers slated for that meeting. The ASL objected strongly, in advance, to the new dates of the online JMM, but the American Mathematical Society chose those dates and could not be dissuaded. We expect that the program for the canceled Winter Meeting will be revived, more or less intact, as the program for the 2023 Winter Meeting, planned for January 4–7, 2023 in Boston, MA. (Several contributed talks from the canceled Winter Meeting program are now planned for the North American Annual Meeting in April 2022 instead, and there will be a new call for contributed talks for the 2023 Winter Meeting.)

• • 2022 ASL North American Annual Meeting April 7–10, 2022 Cornell University, Ithaca, NY. Based on the currently decreasing covid metrics in the northeast, we continue to plan for an in-person meeting. However, when making travel plans, please bear in mind that the status of the meeting could still change. In particular, the ASL is bound by local health requirements. Please see covid.cornell.edu/visitors/ for the latest masking and vaccination requirements for visitors to Cornell University. For other updates, visit the meeting website https://math.cornell.edu/2022-north-american-annual-meeting-association-symbolic-logic.

  The plenary speakers are W. Boney (Texas State), J. Floyd (Boston University), T. Ho (Cal 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.

• • 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, hosted by the Department of Computer Science of Reykjavik University. While actual attendance is highly encouraged, we expect that this meeting will be available online even to those logicians unable to travel to Iceland. Moreover, it is planned that contributed talks may be presented virtually. Registration is required for either in-person or online participation, and will be available soon at the meeting website http://icetcs.ru.is/lc2022/. March 24, 2022 is the deadline for contributed talk submissions and also for student travel award applications (see above). Abstracts for contributed talks should conform to the Rules for Abstracts (see below), and should be sent to [email protected] by that deadline.

  The plenary speakers are T. Altinel, A. Freund, G. Fuchs, P. Idziak, J. Kennedy, K. Lange, A. Melnikov, M. Müller, F. Pakhomov, F. Point, and A. Vaccaro, with tutorials offered by L. Barto and L. San Mauro. P. Blanchette will give the 2022 Gödel Lecture. Special sessions are planned in Logic in Computer Science; Model Theory; Philosophical Logic; Proof Theory and Ordinal Analysis; Reverse Mathematics and Combinatorial Principles; and Set Theory. The Program Committee consists of A. Achilleos, A. Berkman, Z. Chatzidakis, E. Fokina, B. Halimi, E. Jeřábek, R. Miller, M. Rathjen, R. Schindler, and A. Sorbi (chair). The Organizing Committee includes L. Aceto, A. Achilleos, A. Ingólfsdóttir, and T. Uustalu.

• • 2022 Simposio Latino Americano de Lógica Matemática July 26-30, 2022 San Jose, Costa Rica. The 2022 SLALM, an official ASL meeting, will be held on the campus of the Universidad de Costa Rica, mainly in-person. The plenary speakers include C. Brech, M. Harrison-Trainor, D. Haskell, E. Pimentel, and O. León Sánchez. Minicourses will be given by D. García, O. Guzman, D. Szmuc, and L. Westrick, and thematic sessions are planned in Computability; Model Theory; Non-Classical Logics and Algebraic Logic; Philosophy of Logic and Philosophical Logic; and Set Theory. These sessions will include both invited and contributed talks. The deadline for submitting contributed talks is April 11, 2022. 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. The webpage for the meeting is https://paginas.cimpa.ucr.ac.cr/slalm/index.php/en/.

  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, and logicians belonging to populations underrepresented in logic are particularly encouraged to apply. Those who respond will be updated as the status of the grant is determined.

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

• • Journées sur les Arithmétiques Faibles (Weak Arithmetic Days) June 13–17, 2022 Moscow, Russia. The 41st edition of the JAF will take place at Steklov Mathematical Institute, with the option for remote participation. The program will include several invited talks. Submission of contributed talks is via EasyChair, by March 20, 2022. Some travel support may be available. For more information, see http://jaf2022.mi-ras.ru.

• • Crossley Festschrift Logic Colloquium June 14–15, 2022 online. This online conference will celebrate John N. Crossley’s 85th birthday, with talks by his students, friends and collaborators. The speakers include Y. Gurevich, W. Hodges, A. Nerode, J. van Benthem, and M. Wirsing. Further information is available from https://sites.google.com/view/crossley-logic-colloquium/home.

• • Panhellenic Logic Symposium July 6–10, 2022 Volos, Greece. This meeting has been rescheduled from July 2021. The Panhellenic Logic Symposium is a biennial scientific event in logic that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic, including philosophical logic, logic in computer science, model theory, computability/complexity theory, and set theory. The program will include hour-long invited talks by A. Brooke-Taylor, T. Kihara, J. Knight, V. Koutavas, A. Macintyre, T. Pheidas, A. Silva, and L. Westrick. Tutorials will be given by A. Kavvos, N. Leonardos, and S. Zachos. The Scientific Committee is co-chaired by G. Barmpalias and K. Tsaprounis. The dealine for paper submission is March 18, 2022. Please see http://panhellenic-logic-symposium.org/13/ for further information. (ASL Sponsored Meeting.)

• • Computability in Europe 2022 July 11–15, 2022 Swansea, United Kingdom. The 2022 meeting of the CiE series will be hosted by Swansea University, mainly as an in-person meeting. The invited speakers are E. Ábrahám, T. Coquand, D. Dzhafarov, L. de Mol, H. Friedman, and S. Selivanova, with tutorials to be offered by N. Greenberg and K. Lehtinen. Special sessions are planned in Computability of Blockchain Technology; Computing Language; Computing with Bio-Molecules; Constructive and Reverse Mathematics; Reachability Problems; and the Intersection of Computability with Mathematics. The Programme Committee is co-chaired by U. Berger and J. Franklin. Abstracts of informal presentations are due by May 10, 2022. Further information is available at https://cs.swansea.ac.uk/cie2022/. (ASL Sponsored Meeting.)

• • Mal’tsev Meeting and workshops July 14–29, 2022 Sobolev Institute, Novosibirsk, Russia. Following the online International Congress of Mathematicians on July 6–14, the Mal’tsev Meeting will take place on July 14–18 in Novosibirsk and will be followed in turn by the Workshop on Digitalization and Computable Models and the simultaneous workshop Algorithmic Problems in Group Theory and Related Areas. For details, please see http://math.nsc.ru/conference/malmeet/22/Main∖e.htm. As of this writing, there is no statement yet about virtual participation.

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

• • Unimod 2022 July 18–August 5, 2022 Leeds, United Kingdom. Unimod 2022 is a three-week programme hosted by the University of Leeds, focused on model theory. It will include an LMS Research School on model theory in the first week, the workshop Practical and Structural Model Theory in the second week, and an EMS Summer School on applications of model theory in the third week. Please see https://conferences.leeds.ac.uk/unimod/ for further information. (ASL Sponsored Meeting.)

• • European Set Theory Conference 2022 August 29–September 2, 2022 Torino, Italy. This meeting is planned in-person, and will include two tutorials, fifteen plenary talks on set theory and related areas, a special session celebrating the 60th birthday of B. Veličković, and the awarding of the Hausdorff Medal. The Program Committee includes J. Bagaria (chair), M. Gitik, P. Komjath, P. Koszmider, H. Mildenberger, L. Motto Ros, and J. Steel. The conference website is http://logicgroup.altervista.org/torino/ESTC2022/index.html. The deadline for abstract submission is April 30, 2022, and for early registration June 30, 2022. (ASL Sponsored Meeting.)

• • PhDs in Logic XIII September 5–7, 2022 Torino, Italy. PhDs in Logic is an international conference organized every year by and for graduate students. It is an interdisciplinary event, bringing together mathematics, philosophy and formal linguistics in the field of logic. This edition is planned as an in-person meeting following the European Set Theory conference in Torino. The Organizing Committee consists of C. Agostini, G. Rosella, V. Saitta, S. Scamperti, and R. Turco. Abstracts of contributed talks from current and recent master’s and Ph.D. students will be accepted until April 30, via the conference website https://phds-conference-9f9yb20h1-zazangra.vercel.app/. (ASL Sponsored Meeting.)

• • 28th Workshop on Logic, Language, Information and Computation 2022 September 20–23, 2022 Iaşi, Romania. WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. WoLLIC 2022 will be held in-person at the Alexandru Ioan Cuza University in Iaşi. The deadline for registering abstracts of papers to be submitted is April 30, 2022, and the website for the conference is https://wollic2022.github.io/. (ASL Sponsored Meeting.)

• • Finite Model Theory and Many-Valued Logic: Challenges and Interactions November 10–11, 2022 University of Queensland, Australia (online). This online meeting will examine interaction between many-valued logics and the model theory of finite structures. For further information, including a substantial list of speakers, please see https://sites.google.com/view/workshop-fmtmvlci/home. (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/. Christian Rosendal 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.

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

• • 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 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 four of the last five 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 two-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.

• • 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 four of the last five years. For more 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; email: [email protected].

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