• The 2023 ASL Election. At the end of this year the ASL will elect two at-large members of the ASL Executive Committee and two at-large members of the ASL Council. All terms are for 3 years beginning January 1, 2024. The 2023 Nominating Committee has nominated Wesley Holliday (UC-Berkeley) and Byunghan Kim (Yonsei University) for the Executive Committee positions and Carolin Antos (University of Konstanz) and Dana Bartosova (University of Florida) for the Council positions. No other nominations have been received. The Nominating Committee consisted of M. Benedikt, P. Blanchette, V. Fischer, D. Hirschfeldt, J. Knight (chair), F. Liu, and M. Soskova. The ballot was included as a pdf attachment to the electronic November ASL Newsletter, and also included along with hard copies of that Newsletter. Votes must be received by the deadline of December 31, 2023.

• 2023 Karp Prize will be awarded at the 2024 North American Annual Meeting. John Steel has been named the winner of the tenth Carol Karp Prize, for his work in set theory, especially for his book A Comparison Process for Mouse Pairs. The prize will be awarded at the ASL North American Annual Meeting in May 2024, and a lecture on the prize-winning work will be delivered by Grigor Sargsyan at the award ceremony. The Karp Prize, established in 1973 in memory of Professor Carol Karp, is awarded every 5 years. The award is made by the Association, on the recommendation of the ASL Committee on Prizes and Awards, for a “connected body of research, most of which has been completed in the time since the previous prize was awarded.” The winner receives a $5,000 cash award.

• ASL membership renewal for 2024 is open. Online renewal for 2024 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].

We encourage all those whose memberships expire in 2023 to renew their memberships in a timely fashion! 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. We believe that we have a better system in place now, still conforming to the EU regulations, but members who may have opted out of email should still pay particular attention and be sure to renew promptly.

• Membership is now available to logicians in China.The ASL continues to remind logicians that as of 2023 we can once again accept members from the People’s Republic of China. Under PRC regulations we remain prohibited from mailing journals to members in China. However, we now can offer online access to the ASL journals through Cambridge University Press for members in China. Logicians employed in China who are interested in joining the ASL as new members are encouraged to apply to the ASL Committee on Membership for a free initial 2-year outreach membership by emailing their mailing address and professional affiliation to [email protected]. After 2 years, outreach members should contact Shannon Miller at [email protected] to pay for continued outreach membership at USD 18 per year. Details are available at https://aslonline.org/membership/individual-membership/. Questions about this arrangement can be directed to Shannon Miller, Russell Miller, or Reed Solomon.

Logicians in China who are not yet members do not receive the Bulletin of Symbolic Logic and may not see these Notices. We therefore encourage all ASL members to spread the news of this welcome change, especially to colleagues based in China.

• Call for Conference Proposals. The ASL Committee on Logic in North America requests proposals for the 2025 ASL North American Annual meeting to be held some time during the first 5 months of 2025. The committee seeks a university somewhere in North America and a local committee to host the meeting and handle the local arrangements. For more information, interested parties should contact the Committee Chair, Tom Scanlon (email: [email protected]), ideally no later than December 15, 2023.

Additionally, the Committee on Logic in Europe seeks proposals for hosting the Logic Colloquium during the summer of 2025. Meanwhile, the Committees on Logic in East Asia and Oceania seek proposals for hosting the 2027 Asian Logic Conference, ideally to be received no later than January 1, 2024. Inquiries should be sent to the committee chairs: Andrew Arana for Europe ([email protected]) and Keita Yokoyama and Noam Greenberg for East Asia and Oceania respectively ([email protected] and [email protected]).

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

• 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 2024 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 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 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 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. Full information about the ASL and membership benefits is available at 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 2024, 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.

• Reduced Dues for Individuals and Institutions in Developing Economies. The ASL offers reduced dues for individuals and institutions in developing economies. For 2024, 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 residing 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: 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].

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

Applications for the 2024 Logic Colloquium should follow the instructions at https://lc2024.se/travel-grants/ and be emailed to [email protected] before the deadline of February 29, 2024. For all other meetings (including the North American Annual Meeting in May 2024; see page 5 below), applications and recommendations 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). They must be received at least 3 months prior to the start of the meeting. Decisions will be communicated at least 2 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; these are identified as such in the list of upcoming meetings that appears below.

The Logic Colloquium and the North American Annual Meeting are partially supported by funding from the National Science Foundation of the USA. For meetings outside of North America, the NSF funds may be awarded only to students at USA universities and to citizens and permanent residents of the USA. Air travel paid for using NSF funds must be in accordance with the Fly America Act. For these two meetings, applicants need not be members of the ASL. (For all other meetings, student membership in the ASL is a prerequisite for travel grant applications.)

It is hoped that NSF funding may also be available for the 2024 SLALM in Montevideo, Uruguay (see page 6). If so, it would be available to researchers (including students) based in the USA. Anyone interested in this funding should send an email to [email protected] promptly to indicate their interest, as high interest increases the probability that the NSF will offer funding.

• 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 5 months before the beginning of the meeting, following the instructions at http://aslonline.org/sponsorship-of-meetings/.

• Proofs, Rules, and Models April 10–12, 2024, St Andrews, Scotland. This meeting, organized by the Metaphysics and Logic Research Group and the Medieval Logic Research Group at the Arché Philosophical Research Centre in St Andrews, will explore the relationship between proofs, rules, and meanings through the lens of proof-theoretic semantics. More details are available at https://www.st-andrews.ac.uk/arche/event/workshop-proofs-rules-and-meanings/. (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/. Sandra Müller is the editor for this section of the BSL.

• 2024 ASL Winter Meeting (at JMM) January 5–6, 2024, San Francisco, CA. The 2024 ASL-JMM meeting will take place during the last 2 days of the 2024 Joint Mathematics Meeting, at the Moscone Center in San Francisco. The invited speakers are M. Harrison-Trainor (UIC), A. Hirvonen (Helsinki), F. Loeser (Sorbonne), T. Meadows (Irvine), D. Sinapova (Rutgers), S. Solecki (Cornell), and M. Vicaria (UCLA). The Program Committee consists of C. Freer, J. Kennedy, M. Malliaris (chair), and A. Marks. The first 2 days of the JMM, January 3–4, will include the ASL Tutorial in Logic, presented by J. Steel and entitled “Large cardinals, determinacy, and inner models,” as well as the ASL Special Session Descriptive Methods in Dynamics, Combinatorics, and Large Scale Geometry, organized by F. Shinko and J. Zomback, and the AMS Special Session Computable Mathematics: A Special Session Dedicated to Martin D. Davis, organized by W. Calvert, V. Harizanov, and A. Shlapentokh.

To participate, one must register for the entire Joint Mathematics Meeting, whose website is https://www.jointmathematicsmeetings.org//jmm.

• 2024 ASL Winter Meeting (with APA) January 15–18, 2024, New York, NY. The 2024 ASL-APA meeting will be held in conjunction with the Eastern Division of the American Philosophical Association, at the Sheraton New York Times Square in New York City. S. Artemov chairs the Program Committee. The plenary speakers are M. Fitting (CUNY), J. Hamkins (Notre Dame), A. Hattaingadi (Stockholm), B. Partee (Massachusetts, Amherst), S. Smets (Amsterdam), and T. Studer (Bern). Please see https://www.apaonline.org/events/EventDetails.aspx?id=1533429 by December 15, 2023 to register for this meeting. The program for the ASL portion of this meeting is available at https://aslonline.org/meet/. The deadline for student travel award applications has passed.

• 2024 ASL North American Meeting May 14–17, 2024, Ames, IA. The 2024 ASL North American Meeting will take place at Iowa State University. The plenary speakers include M. Eskew (Vienna), K. Kosaian (Iowa), P. Kolaitis (Santa Cruz), T. Moraschini (Barcelona), R. Nagloo (UIC), and H. Towsner (Penn). Tutorials will be given by A. Tserunyan (McGill) and R. Willard (Waterloo). J. Steel will receive the 10th Carol Karp Prize for his work in set theory, especially in A Companion Process for Mouse Pairs, and G. Sargsyan will give a lecture on Professor Steel’s work. There will be special sessions on Algebraic Logic (organized by G. Bezhanishvili and J. Gil-Ferez), Computability Theory (R. Alvir and S. Lempp), Logic in Computer Science (L. Moss and S. Weinstein), Model Theory (M. C. Laskowski and A. Padgett), Set Theory (C. Conley and N. Trang), and Universal Algebra (C. Aten and K. Kearnes). Further information is available at https://asl2024.sites.iastate.edu/.

The program committee consists of B. Csima (chair), N. Galatos, A. Kruckman, T. McNicholl, and I. Neeman. The local organizing committee consists of S. Basu, T. McNicholl (chair), K. Slutsky, E. Weber, and K. Yvonne-Rozier. February 14, 2024 is the deadline for contributed talks and also for applications for student travel awards (see page 3). Both should be sent to the ASL office ([email protected]). Abstracts should follow the “Rules for Abstracts” below. For this meeting, all students may apply to the ASL for NSF travel support, regardless of citizenship or ASL membership.

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

• 30th Workshop on Logic, Language, Information and Computation June 10–13, 2024, Bern, Switzerland. WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. WoLLIC 2024 will be held in-person, organized by the Mathematical Institute and Institute for Computer Science of the University of Bern. More information will appear at www.wollic.org. (ASL Sponsored Meeting.)

• Workshop on Proof Mining 2024 September 4–6, 2024, Darmstadt, Germany. This workshop, specifically dedicated to proof mining, will include talks on the underlying methods from proof theory, in particular proof interpretations and finite type arithmetic, as well as applications in various forms. The local organizers are U. Kohlenbach, P. Pinto, and N. Pischke. (ASL Sponsored Meeting.)

• 2024 Logic Colloquium (European Summer Meeting) June 24–28, 2024, Gothenburg, Sweden. The 2024 Logic Colloquium will be hosted by the University of Gothenburg. T. Scanlon will deliver the 2024 Gödel Lecture. Tutorials will be presented by A. Dawar, A. Marcone, and A. Sipoş, and the plenary speakers include D. Bekki, J. Franklin, J. Freitag, R. Iemhoff, S. Jackson, L. Kołodziejczyk, and P.-A. Melliès. Special sessions are planned in Applied Model Theory; Computable Structures; Logic, Language, and Computation; Philosophical Logic; Proof Theory; and Set Theory.

The members of the Programme Committee are B. Afshari (Gothenburg), G. Binyamini (Jerusalem, Israel), N. Dobrinen (Notre Dame, USA), U. Kohlenbach (chair; Darmstadt, Germany), F. Poggiolesi (Paris, France), K. M. Ng (Singapore), R. Solomon (Connecticut, USA), S. Toruńczyk (Warsaw, Poland), and M. Sadrazadeh (London, UK). The local organizing committee includes B. Afshari, R. Blanck, G. Curzi, F. Engström, M. Kaså, G. Leigh, and I. Di Liberti. For further information, including details about travel support for students and recent PhD’s, please see https://lc2024.se.

• 2024 Simposio Latino Americano de Lógica Matemática July 1–5, 2024, Montevideo, Uruguay. The twentieth SLALM will take place in Montevideo, the capital of Uruguay. The members of the Program Committee are C. Brech, M. Busaniche, A. Caicedo, X. Caicedo Ferrer, L. Del Carmen González Huesca, D. Haskell, O. Malherbe, R. Miller, A. Montalbán (chair), A. Onshuus, H. Pastén, L. Pereira, and E. Pimentel.

As mentioned above, it is hoped that NSF funding may be offered for the 2024 SLALM. If so, then under NSF rules it would be available to researchers (including students) based in the USA. Anyone interested in this funding should send an email to [email protected] promptly to indicate their interest. High interest increases the probability that the NSF will fund the proposal for support for this meeting.

• Zagreb Logic Conference 2024 January 12–15, 2024, Zagreb, Croatia. This conference, on the occasion of World Logic Day on January 14, will be hosted by the Faculty of Science of the University of Zagreb. The invited speakers include A. Bauer, M. J. Gabbay, and J. McKinna, and the local organizers are T. Adlešić, V. Čačić, M. Doko, and T. Perkov. The website is https://sites.google.com/view/zlc24/home. (ASL Sponsored Meeting.)

• South American Logic Meeting January 12–15, 2024, Cusco, Peru. The First South American Logic Meeting (SALOME 1) will take place at the National University of Saint Anthony the Abbot in Cusco. It forms part of a project to develop logic in all its aspects in South America. Please see https://sites.google.com/view/salome2024 for further information.

• Memorial Lectures for Martin Davis January 26, 2024, New York, NY. All are welcome to attend this special event in memory of Professor Martin Davis. There will be three lectures on his work from 1:00 to 2:30 pm, a memorial for Martin and Virginia Davis from 2:45 to 3:45 pm, and a reception afterwards from 4 to 6 pm. Preregistration is requested, ideally by January 15, using the website https://cims.nyu.edu/dynamic/conferences/davis-memorial/. The organizers are S. Cappell, R. Cole, E. Davis, M. Overton, and J. Spencer.

• 17th International Conference on Computability, Complexity and Randomness March 11–15, 2024, Nagoya University, Nagoya, Japan. CCR 2024 will bring together researchers in algorithmic randomness, computability theory, Kolmogorov complexity, computational complexity, and reverse mathematics and logic. The invited speakers are J. Aguilera, W. Calvert, L. Coregliano, M. Fujiwara, L. Ko, R. Miller, S. Park, and F. Zaffora Blando. The Program Committee consists of J. Brendle, J. Franklin (co-chair), J. L. Goh, T. Kihara (co-chair), M. Marchuk, A. Pauly, S. Selivanova, and K. Yokoyama. This conference is in cooperation with the Association for Women in Mathematics. Please see https://sites.google.com/view/ccr2024/home for more information. (ASL Sponsored Meeting.)