NOTICES

• • The 2022 ASL Election. At the end of this year the ASL will elect the Secretary and Treasurer of the ASL, two at-large members of the Executive Committee, and two at-large members of the Council. All members should have received a ballot along with the November 2022 ASL Newsletter. All terms are for three years beginning January 1, 2023.

  The 2022 Nominating Committee has nominated Russell Miller (Queens College, CUNY) and Reed Solomon (University of Connecticut) for Co-Secretary-Treasurers, Samson Abramsky (University College London) and Matthias Aschenbrenner (Vienna) for the Executive Committee positions; and Qi Feng (Tsinghua University) and Rehana Patel (African Institute for Mathematical Sciences) for the Council positions. No other nominations have been received. The Nominating Committee consisted of John Baldwin, Michael Benedikt, Vera Fischer, Julia Knight (chair), Fenrong Liu, Elaine Pimentel, and Jouko Väänänen.

• • ASL membership renewal for 2023 is open. Online renewal for 2023 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 expire in 2022, especially those who may have opted out of email, to be careful to renew their memberships in a timely fashion!

• • Call for Nominations: Karp Prize. The Karp Prize, established in 1973 in memory of Professor Carol Karp, is awarded every five years for a “connected body of research, most of which has been completed in the time since the previous prize was awarded.” The ASL invites nominations for the 2023 Karp Prize. Nominations should be submitted to Justin Moore (e-mail: [email protected]), Chair of the ASL Committee on Prizes and Awards. The deadline for nominations is December 31, 2022. Further details about this prize appear at https://aslonline.org/other-information/prizes-and-awards/.

• • 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; and (6) (voluntary) indication of your gender and minority status. Women and members of minority groups are strongly encouraged to apply.Application by email is encouraged; put “ASL travel application” in the subject line of your message.

  For all 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). The deadline for the 2023 North American Annual Meeting appears on p. 3, and the deadline for the 2023 Logic Colloquium will be announced soon. 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. Decisions will be communicated at least two months prior to the meeting.

  ASL-sponsored meetings are identified as such in the list of meetings below. Official ASL meetings include the Logic Colloquium, the North American Annual Meeting, the Asian Logic Conference, the Simposio Latino Americano de Lógica Matemática, the ASL Winter Meeting, and the ASL-APA annual joint meeting.

• • Family Travel Grants for the North American Annual Meeting. The ASL is offering a small number of travel grants of up to $250 each for ASL members who plan to attend the North American Annual Meeting in Irvine with their families. These grants are to be used for childcare and related travel expenses. In order to apply, submit a brief application that includes your status (faculty, postdoc, student, etc.), as well as your role in the conference (speaker, participant). Also include a short statement about your travel plans and a short description of the child care plan (or possible child care plan), i.e., tell us how you think the funds will be used. Applications, and any questions, should be emailed to Shannon Miller at e-mail: [email protected]. The deadline for applying is Friday, January 20, 2023.

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

• • ASL Winter Meeting January 6–7, 2023, Boston, MA. 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 4–7, 2023 at the Hynes Convention Center in Boston, MA. For the Winter Meeting, the confirmed invited speakers include J. Avigad, P. Cholak, F. Jahnke, S. Müller, L. Scow, A. Shani, and E. Walsberg. The first annual ASL tutorial at the JMM will be given on January 4 by S. Anscombe (Paris Cité). The Program Committee for the ASL-JMM meeting consists of D. Bartošová, K. Eisenträger, J. Freitag (chair) and P. Hieronymi.

  The JMM is now 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 6–7, the JMM on January 4–5 will include the ASL Special Session Model-theoretic and “Higher Infinite” Methods in Descriptive Set Theory and Related Areas, organized by A. Kechris, R. Patel, A. Poveda, and A. Shani; the ASL Special Session Tame Geometry and Applications to Analysis, organized by A. Gorman, E. Kaplan, and D. Miller; and the AMS Special Session Definability, Computability, and Model Theory: A Special Session dedicated to Gerald E. Sacks, organized by N. Ackerman, T. Slaman, and C. Freer, as well as the tutorial described above. For more information, see https://www.jointmathematicsmeetings.org//jmm.

• • ASL North American Annual Meeting March 25–29, 2023, University of California at Irvine. The plenary speakers will be M. Eckert, T. Ibarlucia, J. Nordstrom, N. Ramsey, D. Rossegger, R. Schindler, and J. Zapletal. Tutorials will be presented by N. Dobrinen and M. Sabok, and the Gödel Lecture will be delivered by C. Jockusch. Special sessions (with the organizers in parentheses) are planned in Computability Theory (J. Franklin & M. Harrison-Trainor); Descriptive Dynamics (S. Gao & S. Jackson); Model Theory (Ö. Beyarslan & A. Chernikov); Proof Complexity Beyond Propositional Logic (O. Beyersdorff & S. de Rezende); Set Theory (G. Goldberg & M. Zeman); and Women in the History of Logic (S. Connell & F. Janssen-Lauret). A poster for this meeting is attached as a pdf file to electronic copies of this Newsletter, and may be printed and posted to publicize the meeting.

  The deadline for both contributed talk submissions and student travel applications is December 15, 2022. Contributed talks should be emailed to Shannon Miller at [email protected], following the Rules for Abstracts (see below). Student travel applications and their accompanying recommendation letters should also be emailed to Shannon Miller at [email protected], following the procedure outlined on p. 2 above. In addition, the ASL is offering a small number of travel grants of up to $250 each for ASL members who plan to attend the North American Annual Meeting in Irvine with their families; see the details on p. 2 above.

  The Program Committee for this meeting consists of M. Foreman, M. Heule, T. Kouri Kissel, T. McNicholl, and R. Moosa (chair). The members of the Organizing Committee are M. Foreman, I. Goldbring (chair), T. Meadows, K. Wehmeier, and M. Zeman. Further information is available at https://sites.uci.edu/asl2023/.

• • 2023 ASL Winter Meeting (with APA) April 5–8, 2023, San Francisco, CA. The 2023 ASL-APA meeting will be held in conjunction with the Western Division of the American Philosophical Association, at the Westin-St. Francis Hotel in San Francisco. There are two confirmed sessions with speakers: Philosophy of Mathematical Practice, with S. De Toffoli (Linköping), P. Ryan (U.C. Berkeley), and D. Schlimm (McGill); and History and Philosophy of Programming Languages, with T. Petricek (Charles), B. Pientka (McGill), and G. Primiero (Milan). The Program Committee consists of J. Avigad, P. Mancosu (chair), and R. Zach.

  The deadline for student travel award applications (see p. 2 above) is January 5, 2023. See https://www.apaonline.org/events/EventDetails.aspx?id=1256302 for information.

• • ASL European Summer Meeting (Logic Colloquium) June 5–9, 2023, Universitá di Milano, Italy. The Universitá di Milano will host the 2023 Logic Colloquium, in the center city of Milano, Italy. Notice the dates, earlier in the summer than usual! The Programme Committee consists of M. Aschenbrenner, P. D’Aquino (chair), J. Krajíček, A. Kwiatkowska, P. Oliva, A. Pauly, G. Primiero, and P. Welch. The Organizing Committee includes S. Aguzzoli. M. D’Agostino, C. Fiorentini, M. Franchella, S. Ghilardi, H. Hosni, L. Luperi Baglini, V. Marra, A. Momigliano, and G. Primiero (chair).

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

• • Model Theory Conference in Celebration of Ludomir Newelski’s 60th Birthday December 17–21, 2022, Bȩdlewo, Poland. This meeting will take place at the Bȩdlewo Conference Center of the Mathematical Institute of the Polish Academy of Sciences. Confirmed speakers include M. Bays, A. Berenstein, E. Bouscaren, A. Chernikov, J. Gismatullin, E. Hrushovski A. Ivanov, F. Jahnke, T. Kaiser, D. Macpherson, R. Moosa, L. Newelski, A. Pillay, N. Ramsey, T. Rzepecki, K. Tent, T. Tsankov, and F. Wagner.

  The Program Committee consists of L. Pacholski (Honorary Chairman), Z. Chatzidakis, P. Kowalski, K. Krupi $\acute{\mathrm{n}}$ ski, S. Starchenko, and B. Zilber. The Organizing Committee consists of J. Dobrowolski, J. Gismatullin, J. Gogolok, D. Hoffmann, G. Jagiella, P. Kowalski, K. Krupiṅski, T. Rzepecki, and R. Wencel. Information regarding registration is available at http://www.math.uni.wroc.pl/~pkowa/registration20.html. (ASL Sponsored Meeting.)

• • Conference in Honor of Lenore Blum December 18, 2022, (online). Colleagues and friends of Lenore Blum will gather to celebrate her 80th birthday with a series of talks on Sunday, December 18, from 4:00 to 7:00 pm EST on zoom. The conference is organized by A. Blum, M. Shub, C. Wood and M. Xuan. The schedule and registration link are available at http://www.smaleinstitute.org/lenore_fest.html.

• • Very Informal Gathering of Logicians at UCLA (VIG 21) February 10–12, 2023, Los Angeles, CA. The 21st in a series of mostly biennial logic meetings at UCLA, this event will celebrate Tony Martin’s 80th birthday. The invited speakers are: Maryanthe Malliaris (giving the 5th Hjorth Lecture), Natasha Dobrinen, Matthew Foreman, Gabriel Goldberg, Steve Jackson, Patrick Lutz, Nick Ramsey, Nathan Salmon, Slawek Solecki, John Steel, Linda Westrick, and Hugh Woodin. Travel grants are available for graduate students and early career researchers without a federal grant. For further information about the meeting and to apply for travel grants, visit https://www.logic.ucla.edu/.

• • São Paulo School of Advanced Science on Contemporary Logic, Rationality, and Information February 6–17, 2023, Campinas, Brasil. The conference, known as SPLogIC, is now rescheduled after being postponed in 2020. Funded by the São Paulo Research Foundation (Fapesp), it aims to provide an overview of the state-of-the-art methodology and research on contemporary logic, especially non-classical logics, rationality, and information. The conference will comprise eight courses and nine plenary talks presented in English by experts in each topic, as well as oral presentations and a poster session. See https://www.cle.unicamp.br/splogic/ for the extensive list of confirmed speakers. (ASL Sponsored Meeting.)

• • Antalya Algebra Days XXII May 17–21, 2023, Şirince-Selçuk-Izmir, Turkey. Antalya Algebra Days is an annual meeting taking place in Turkey, which serves as an international platform for exchanging ideas and establishing contacts. Each meeting has a focus: for the meeting in 2023 the focus will be model theory. Confirmed speakers include: E. Aksoy, Z. Chatzidakis, G. Conant, P. Cubides Kovacsics, M. Kamensky, U. Karhumaki, K. Krupiński, S. Moconja, D. Palacin, N. Ramsey, O. León Sánchez, and T. Zou. The Scientific Committee consists of A. Berkman, Ö. Beyarslan, P. Kowalski, A. Martin Pizarro, and A. Topuzoǧlu. Application deadlines are April 10, 2023 for speaking and April 30, 2023 for participation. For more information, visit https://nesinkoyleri.org/en/events/2023-antalya-cebir-gunleri-xxii/.

• • Young Set Theory 2023 May 29–June 3, 2023, Münster, Germany. This meeting is aimed at young researchers in set theory, offering five tutorials in addition to plenary talks. The organizers are S. Hoffelner, A. Kwiatkowska, S. Müller, and F. Schlutzenberg. Preliminary information appears at https://www.uni-muenster.de/MathematicsMuenster/de/events/2023/young_set_theory.shtml. (ASL Sponsored Meeting.)

• • Computability, Complexity, and Randomness 2023 July 10–14, 2023, Kochel am See, Germany. CCR 2023 will take place at Lake Kochel. The invited speakers will be E. Allender, G. Barmpalias, C.T. Chong, J. Franklin, J.L. Goh, S. Hirahara, T. McNicholl, and P. Shafer. The Programme Committee consists of V. Becher, J. Lutz, A. Melnikov, W. Merkle (co-chair), K. Miyabe, M. Soskova, L. Westrick (co-chair), and M. Zimand. The local organizers are V. Brattka, P. Hertling, R. Hölzl, and P. Janicki. Further details are available at http://cca-net.de/ccr2023/. (ASL Sponsored Meeting.)

• • Computability in Europe 2023 July 24–28, 2023, Batumi, Georgia. The nineteenth meeting of C.i.E. will be held at the Batumi Shota Rustaveli State University, in the nation of Georgia. The Programme Committee is chaired by G. Della Vedova and S. Lempp. The deadline for abstract submission is February 8, 2023. Details are available at https://www.viam.science.tsu.ge/cie2023/.

• • Model Theory and Groups September 25–29, 2023, Münster, Germany. This conference is being held in honor of Katrin Tent’s 60th birthday. The extensive list of speakers is available at the website https://www.uni-muenster.de/MathematicsMuenster/events/2023/modeltheory-groups.shtml. The organizers are Z. Ghademezhad, M. Hils, F. Jahnke,, and I. Müller. (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 2023 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 https://aslonline.org/membership/world-bank-list/ 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. 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$18 for 2023, 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 2023, 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/.