NOTICES

• • 2023 Sacks Prize. The ASL invites nominations for the 2023 Sacks Prize for the most outstanding doctoral dissertation in mathematical logic. Nominations must be received by September 30, 2023. 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 five 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 2023 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, 2022, and September 30, 2023, 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 advisor, 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 advisor, 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, Jouko Väänänen; 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 Business Office: ASL, 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.

• • ASL Centennial Fellowship Awarded to Joel Nagloo. The American Mathematical Society awards one Centennial Fellowship in mathematics each year. For 2023–24, this fellowship has been awarded to Prof. Joel “Ronnie” Nagloo of the University of Illinois at Chicago. Prof. Nagloo studies model theory, with a focus on differential algebra. Congratulations to the recipient!

• • S. Barry Cooper Prize for 2023. The Association for Computability in Europe has awarded its S. Barry Cooper Prize for the year 2023 to Prof. Rodney G. Downey, of Victoria University in Wellington, New Zealand. The full announcement appears at https://www.acie.eu/2023-s-barry-cooper-prize-awarded-to-rod-g-downey/. This award is given to a researcher who has contributed to a broad understanding and foundational study of computability. The prize will be formally announced at the conference CiE 2023 in Batumi, Georgia, and the award lecture will be delivered during the conference CiE 2024 in Amsterdam.

• • Membership Is Now Available to Logicians in China. The ASL is excited to announce that 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 two-year outreach membership by emailing their mailing address and professional affiliation to [email protected]. After two 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, not being on the current membership list, 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 Proposals: 2025 North American Annual Meeting. 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 five 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 July 15, 2023.

• • 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). Applications for the 2024 Logic Colloquium and North American Annual Meeting are not yet open. 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 among the meetings listed 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.

• • 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 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 invited speakers are G. Binyamini, I. Carboni Oliveira, N. Gambino, G. Goldberg, M. Lupini, F. Poggiolesi, V. Sofronie-Stokkermans, and Z. Vidnyánszky, with tutorials offered by I. Kaplan and F. van Doorn. Special sessions (with the organizers in parentheses) are being organized in Applied Proof Theory (B. Dinis and T. Powell); Computability (V. Brattka and K. Lange); Logic and Computation (S. Buss and L. Kołodziejczyk); Logic and Philosophy (L. Crosilla and A. M. Klev); Model Theory (J. Freitag and M. Hils); and Set Theory (O. Ben-Neria and S. Müller).

  The Programme Committee consists of M. Aschenbrenner, P. D’Aquino (chair), J. Krajíček, A. Kwiatkowska, P. Oliva, 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). Registration and further details are available at https://lc2023.unimi.it/.

• • Asian Logic Conference October 9–13, 2023, Nankai University, Tianjin, China. The Asian Logic Conference, which was canceled in 2021 due to the coronavirus pandemic, will be held at Nankai University on October 9–13, 2023. The invited speakers are W. Johnson, B. Khoussainov, C. Lambie-Hanson, A. Melnikov, R. Sklinos, S. Solecki, L. Wu, J. Ye, and Y. Yang. The Program Committee includes M. Banerjee, L. Ding, S. Gao, S. Goncharov, K. Hirotaka, B. Kim, K. M. Ng, A. Nies, D. Raghavan, K. Sano, K. Yokoyama, and L. Yu. The Local Organizing Committee consists of L. Ding, S. Gao, C. Peng, M. Xiao, and Q. Zhao.

  The conference website is https://logic.nankai.edu.cn/alc2023/. Applications for student travel awards are due by July 9, 2023, and contributed talk abstracts should be submitted by July 17. Registration is available until September 15, but anyone requiring an invitation letter (e.g., for visa purposes) should register by August 15 and request such a letter. Visas are required for entry to China by nationals of many other countries.

• • 2024 ASL Winter Meeting (with JMM) January 5–6, 2024, San Francisco, CA. The 2024 ASL-JMM meeting will take place during the last two days of the 2024 Joint Mathematics Meeting. The Program Committee consists of C. Freer, J. Kennedy, M. Malliaris (chair), and A. Marks. Abstracts for contributed talks should be submitted to the ASL office ([email protected]) by August 31, 2023. The deadline for student travel award applications (see page 2) is October 5, 2023.

  The first two days of the JMM will include the ASL Special Session Descriptive Methods in Dynamics, Combinatorics, and Large Scale Geometry organized by F. Shinko and J. Zomback, as well as the ASL Tutorial in Logic (topic to be announced).

• • 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 deadline for student travel award applications (see page 2) is October 15, 2023.

• • 2024 ASL North American Meeting May 14–17, 2024, Ames, IA. The 2024 ASL North American Meeting will take place May 14-17, 2024, at Iowa State University. The Local Organizing Committee consists of S. Basu, T. McNicholl (chair), K. Slutsky, E. Weber, and K. Yvonne-Rozier. The Program Committee consists of B. Csima (chair), N. Galatos, A. Kruckman, T. McNicholl, and I. Neeman. The deadline for contributed talks and for student travel awards is February 14, 2024. Both should be sent to the ASL office ([email protected]).

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

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

• • 29th Workshop on Logic, Language, Information and Computation 2023 July 11–14, 2023, Halifax, Nova Scotia, Canada. WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. WoLLIC 2023 will be held in-person at Dalhousie University, with T. Bolander, M. Kanazawa, M. Ortiz, A. Özgün, D. Pavlovic, and R. Zach as the invited speakers. The Programme Committee is co-chaired by H. Hvid Hansen and A. Scedrov. The website for the conference is https://www.mathstat.dal.ca/wollic2023/. (ASL Sponsored Meeting.)

• • Computability in Europe 2023 July 24–28, 2023, Batumi, Georgia. The nineteenth edition of the CiE meeting series will be held in Batumi, on the Black Sea coast in the nation of Georgia. The invited speakers are A. Bulatov, A. Condon, S. Dick, K. Eisenträger, N. Lutz, and M. Steedman, with tutorials offered by L. Patey and L. Perret. The Program Committee is chaired by G. Della Vedova and S. Lempp. The local organizers are D. Begashvili, A. Beridze, M. Donadze, B. Dundua (chair), T. Mikadze, M. Rukhaia (co-chair), and L. Turmanidze. The deadline for abstracts for informal presentations is June 8, 2023. Details appear at https://www.viam.science.tsu.ge/cie2023/. (ASL Sponsored Meeting.)

• • International Congress on Logic, Methodology and Philosophy of Science and Technology July 24–29, 2023, Buenos Aires, Argentina. The quadrennial CLMPST will take place in Buenos Aires. The plenary speakers include P. Kitcher, H. Longino, and I. d’Ottaviano. The Program Committee is chaired by A. Aliseda. For further information, visit https://clmpst2023.dc.uba.ar/. (ASL Sponsored Meeting.)

• • European Summer School in Logic, Language, and Information July 31–August 11, 2023, Ljubljana, Slovenia. The 34th edition of ESSLLI will take place at the University of Ljubljana. The Programme Committee is co-chaired by K. Dobrovoljc and J. Kontinen, and the Local Organizing Committee includes M. Brglez, M. Gapsa, T. Knez, M. Klemen, S. Vintar, A. $\breve{\mathrm{Z}} $ agar, and S. $\breve{\mathrm{Z}} $ itnik. More information is available at https://2023.esslli.eu/. (ASL Sponsored Meeting.)

• • Model Theory in Seoul August 28–30, 2023, Yonsei University, Seoul, South Korea. This meeting continues a tradition of model theory conferences in Seoul. The Programme Committee comprises J. Dobrowolski, B. Kim, J. Lee, and N. Ramsey, while the local organizers are H. Kim, J. Kim, H. Lee, and J. Lee. Registration and further information, including the list of fifteen plenary speakers, is available at https://sites.google.com/yonsei.ac.kr/modeltheoryseoul2023. The deadline for registration is June 15. (ASL Sponsored Meeting.)

• • Model Theory Workshop and Conference September 15–23, 2023, Wrocław, Poland. This event comprises a workshop on September 15–18 and a subsequent conference on September 19–23. Both are part of a logic semester in Poland during the autumn of 2023. The Workshop will feature tutorials by T. Kaiser, A. Pillay, and N. Ramsey. It is organized by P. Błaskiewicz, J. Gogolok, D. Hoffmann, P. Kowalski, and K. Krupiński. The conference has twenty speakers scheduled. Please see the websites https://www.math.uni.wroc.pl/~pkowa/work23.html (for the workshop), https://www.math.uni.wroc.pl/~pkowa/conf23.html (for the subsequent conference), and https://www.math.uni.wroc.pl/~pkowa/semester.html (for the semester program). (ASL Sponsored Meeting.)

• • Journées sur les Arithmétiques Faibles September 25–27, 2023, Samos, Greece. The 42nd edition of the JAF will take place in Samos in September 2023. This meeting series focuses on the logic of weak arithmetical systems. The Programme Committee includes P. Cégielski, J. Cervelle, A. Cordón-Franco, C. Dimitracopoulos, A. Enayat, A. Esbelin, and N. Thapen. The deadline for abstract submissions is June 30, 2023. More information is available at http://mathweb.aegean.gr/jaf42/.

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

• • Fifth Workshop on Digitalization and Computable Models October 2–6, 2023, Astana, Kazakhstan. This meeting will be held in Astana in a hybrid format, organized by Nazarbayev University, the Mathematical Center in Akademgorodok, and Kazan Federal University. The invited speakers and the Programme Committee are listed at https://sites.google.com/view/wdcm2023 , which also invites submission of contributed talks before the deadline of August 1.

• • PhDs in Logic XIV October 4–6, 2023, Granada, Spain. The fourteenth edition of this annual conference for graduate students in logic will take place at the University of Granada. The invited speakers include M. J. Frápolli, N. Gierasimczuk, T. Ibarlucía, J. López Abad, J. Murzi, and A. Vidal. Registration is available at https://phdsinlogicxiv.com/. (ASL sponsorship pending.)

• • Australasian Logic Colloquium November 6–7, 2023, Queensland, Australia. This will be a hybrid meeting hosted by the University of Queensland at the St. Lucia Campus in Brisbane, Australia. The keynote speakers are E. Casanovas and R. Goré. Please see https://sites.google.com/view/australasianlogcolloquium2023/home?pli=1 for more information. (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/. As of January 1, 2023, Sandra Müller 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, China, 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/.