NOTICES

• • 2024 Sacks Prize. The ASL invites nominations for the 2024 Sacks Prize for the most outstanding doctoral dissertation in mathematical logic. Nominations must be received by September 30, 2024. The Sacks Prize was established to honor the late Professor Gerald Sacks of MIT and Harvard for his unique contribution to mathematical logic, particularly as adviser to a large number of excellent Ph.D. students. The prize was first awarded in 1994 and became an ASL Prize in 1999. The fund on which the prize is based is now administered by the ASL and the selection of the recipient is made by the ASL Committee on prizes and awards. The Sacks Prize will consist of a cash award plus 5 years free membership in the ASL. For general information about the prize, visit http://aslonline.org/other-information/prizes-and-awards/. Anyone who wishes to make a nomination for the 2024 Sacks Prize should consult the web page 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, 2023, and September 30, 2024, 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 ASL Business Office (ASL, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA). All such contributions are tax-deductible within the USA.

• • Turing Award given to Avi Wigderson. The Association for Computing Machinery has named Prof. Avi Wigderson, of the Institute for Advanced Study in Princeton, NJ, as the winner of the 2024 Turing Award, for his study of randomness in theoretical computer science. The Turing Award is presented annually to recognize contributions of the highest importance in the field of computer science, and is widely viewed as the highest distinction available in this field. Officially Prof. Wigderson is receiving the 2023 Turing Award, although it was only announced in the spring of 2024. Congratulations to the recipient!

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

  We encourage all those whose memberships expired 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 University Press, 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 two-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 Committee on Logic in Europe seeks proposals for hosting the Logic Colloquium during the summer of 2025. Inquiries should be sent promptly to the committee chair Andrew Arana ([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.

• • Student Travel Awards: ASL and ASL-Sponsored Meetings. Student members of the ASL may apply for travel grants to ASL and ASL-sponsored meetings, as 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.

  The deadlines for applications for the 2024 Logic Colloquium and the 2024 North American Annual Meeting have passed. For all other meetings, applications and recommendations should be submitted via email to [email protected] or to the ASL Business Office (ASL, Department of Mathematics, University 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, and membership in the ASL is required. 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 ASL has received a grant from the U.S. government’s National Science Foundation, to support U.S.-based researchers (including students) travelling to the 2024 SLALM in Montevideo, Uruguay (see page 4). Anyone who is interested in this funding should promptly send an email to [email protected] to indicate their interest, if they have not already done so. ASL membership is not required.

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

• • 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, M. Girlando, S. Jackson, L. Kołodziejczyk, and P.-A. Melliès. Special sessions (with organizers in parentheses) are planned in Applied Model Theory (G. Jones and T. Servi); Computable Structures (U. Andrews and J. Knight); Logic, Language, and Computation (R. Cooper and S. Chatzikyriakidis); Logic in Philosophy (V. Halbach and H. Wansing); Proof Theory (A. Freund and S. Marin); and Set Theory (D. Barto $\breve{\mathrm{s}}$ ová and S. Solecki).

  The members of the Programme Committee are B. Afshari (Gothenburg), G. Binyamini (Jerusalem), N. Dobrinen (Notre Dame), U. Kohlenbach (chair; Darmstadt), K.M. Ng (Singapore), F. Poggiolesi (Paris), M. Sadrazadeh (London), R. Solomon (Connecticut), and S. Toruńczyk (Warsaw). The local organizing committee includes B. Afshari, G. Barlucchi, R. Blanck, G. Curzi, F. Engström, T. Fokkens, M. Granberg Olsson, M. Kaså, G. Leigh, I. Di Liberti, O.L. Olsson, and D. Wehr. The website https://lc2024.se provides further information.

• • 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, hosted by the Facultad de Ingeniería of the Universidad de la República. (The location originally planned, in Piriapolis, Uruguay, has been changed to Montevideo.) The plenary speakers include A. Diaz-Caro, C. Di Prisco, I. d’Ottaviano, A. Miquel, S. Montenegro, D. Sangiorgi, and P. Selinger, with tutorials offered by N. Dobrinen, N. Hempel, and M. Silva. There will be five special sessions, entitled Logic in CS and Computability; Model Theory; Non-classical Logics; Philosophical Logic; and Set Theory. The members of the Program Committee are C. Brech, M. Busaniche, A. Caicedo, X. Caicedo Ferrer, L. Carlos, L. del Carmen González Huesca, D. Haskell, O. Malherbe, R. Miller, A. Montalbán (chair), A. Onshuus, and E. Pimentel. The local organizers are W. Ferrer, J.P. García, M. Guillermo, O. Malherbe, and A. Pardo.

  As mentioned earlier, the ASL has received a grant from the U.S. government’s National Science Foundation, to support U.S.-based researchers (including students) travelling to the 2024 SLALM. See the instructions above (page 3: Student Travel Awards) for further information.

• • 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. The invited speakers are J. Aguilera, M. Aloni, H.H. Hansen, R. Iemhoff, D. Kozen, and F. Zaffora Blando. More information appears at https://wollic2024.inf.unibe.ch/. (ASL Sponsored Meeting.)

• • Reykjavik Summer of Cool Logic June 10–20, 2024, Reykjavik, Iceland. Three events will occur consecutively at Reykjavik University: the Nordic Logic Summer School on June 10–13, the Scandinavian Logic Symposium on June 14–16, and a symposium on Games, Automata, Logics, and Formal Verification on June 18–20. More information will be forthcoming at http://icetcs.ru.is/reykjavik-logic-2024/. (ASL Sponsored Meeting.)

• • Young Set Theory 2024 June 17–21, 2024, Budapest, Hungary. The annual Young Set Theory schools and workshops bring together young mathematicians, providing in depth introductions to various topics in set theory. This year’s edition will include tutorials by M. Magidor, J. Steel, A. Tserunyan, B. Veličković, and J. Zapletal, along with invited talks by T. Benhamou, M. Bowen, A. Lietz, M. Poór, and J. Schilhan. For further information, please see https://erdoscenter.renyi.hu/events/young-set-theory-workshop.

• • Topology, Algebra, and Categories in Logic June 25–July 5, 2024, Barcelona, Spain. TACL 2024 will be organized by the University of Barcelona and CSIC. The conference on July 1–5 will be preceded by a summer school on June 25–28. Further information, including the invited speakers for the conference, is available at https://iiia.csic.es/tacl2024/. (ASL Sponsored Meeting.)

• • Algebra and Mathematical Logic: Theory and Applications, June 27–July 1, 2024, Kazan, Russia. Kazan Federal University will host this conference, which is dedicated to the 130th birthday of Nikolai Chebotarev and the 80th birthday of the department chair Prof. Marat Arslanov. Topics of the meeting include Lie algebras, groups, rings, algebraic geometry, universal algebra, model theory, computability theory, and logical methods in programming. The Program Committee is chaired by Yu. Ershov and co-chaired by I. Kalimullin, while M. Faizrahmanov chairs the Organizing Committee. The conference website is https://mathcenter.kpfu.ru/algmathlogen.

• • Panhellenic Logic Symposium July 1–5, 2024, Thessaloniki, Greece. This is the fourteenth meeting in a series that aims to promote interaction and cross-fertilization among different areas of logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The invited speakers include I. Adler, D. Aspero, A. Das, P. Levy, A. Panagiotopoulos, and C. Vassilakopoulou, with tutorials by T. Kihara and A. Koutsoukou-Argyraki. For details please see http://panhellenic-logic-symposium.org/14/. (ASL Sponsored Meeting.)

• • Leeds Computability Days July 2–5, 2024, Leeds, UK. Information about this meeting, organized by P. Shafer and sponsored by the University of Leeds, is available at https://www.computability.org/lcd2024/. (ASL Sponsored Meeting.)

• • Computability in Europe July 8–12, 2024, Amsterdam, the Netherlands. The twentieth edition of CiE is entitled “Twenty Years of Theoretical and Practical Synergies.” The invited speakers include A. Beckmann, R. Downey, E. Mayordomo, A. Miquel, M. Seisenberger, and M. Soskova, with tutorials offered by M. Harrison-Trainor and S. Smets. The conference website is https://events.illc.uva.nl/CiE/CiE2024/Main/. (ASL Sponsored Meeting.)

• • Beijing Model Theory Conference July 8–12, 2024, Beijing, China. This meeting will bring together groups working on model theory and its applications to various fields, such as hyperbolic groups, combinatorics, differential and difference algebra, neostability and continuous logic. It is organized by the Academy of Mathematics and Science Systems and sponsored by the National Natural Science Foundation of China. For the extensive list of confirmed speakers, please visit http://mmrc.iss.ac.cn/~weili/bmtc/index.html. (ASL Sponsored Meeting.)

• • Problems Allied to Model Theory and Universal Algebra July 8–13, 2024, Novosibirsk, Russia. This, the 16th International Summer School-Conference in the Erlagol series, will be held in a mixed format, hosted by the Sobolev Institute of Mathematics and co-organized by the Chair of Algebra and Mathematical Logic of Novosibirsk State Technical University. Information about submission and further details are available at erlagol.ru.

• • Computable Structure Theory and Interactions July 15–17, 2024, Vienna, Austria. This workshop will be hosted by the Technische Universität Wien, organized by V. Cipriani, D. Dzhafarov, E. Fokina, and D. Rossegger. Its focus is computable structure theory, with an eye to the interplay between this topic and other branches of mathematics. The list of invited speakers is available at www.computability.org/csti2024/.

• • Computability and Complexity in Analysis July 15–18, 2024, Swansea, UK. The 21st edition of CCA will be hosted by Swansea University. As always, it focuses on the theory of computability and complexity over real-valued data, bridging theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The Scientific Programme Committee includes M. Escardó, J.L. Goh, R. Hölzl, and Z. Iljazović (chair). For information about registration and submissions, visit http://cca-net.de/cca2024/. (ASL Sponsored Meeting.)

• • VII Congreso Latinoamericano de Matemáticas August 26–30, 2024, João Pessoa, Brazil. The CLAM takes place approximately every 4 ears and is the largest conference on mathematics in Latin America. The seventh CLAM will include a thematic session entitled “Mathematical Logic,” organized by Prof. Ciro Russo of the Universidade Federal de Bahia and Prof. Pedro Zambrano of the Universidad Nacional de Colombia. The invited speakers for this session include C. Brech, M. Busaniche, D. García, D. Mejía, S. Montenegro, D. Montoya, V. de Paiva, L. Pereira, V. Pestov, and V. Torres-Pérez. Further information is available at http://www.mat.ufpb.br/clam/index.php. (ASL Sponsored Meeting.)

• • Incontro di Logica AILA September 3–6, 2024, Udine, Italy. This meeting, organized by the Italian Association for Logic and its Application (AILA), aims to convene most Italian researchers studying mathematical, philosophical or computer-science-related aspects of logic. The confirmed plenary speakers include I. Ciardelli, T. Ehrhard, E. Mayordomo, F. Gallinaro, M. Gehrke, and S. Müller, and several AILA awards will be presented. Logicians of all nationalities are welcome. The conference website is https://ailameeting24.uniud.it.

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

• • Journées sur les Arithmétiques Faibles September 9–11, 2024, Passau, Germany. The 43rd edition of JAF is tentatively scheduled for September 9–11 at the IT-Zentrum in Passau, bringing together researchers who study weak arithmetics in various contexts. The Programme Committee includes P. Cégielski, J. Cervelle, A. Córdon-Franco, C. Dimitracopoulos, A. Enayat, A. Esbelin, and N. Thapen, and the Organizing Committee is chaired by A. Gaysin. Papers for this meeting may be submitted until June 2, 2024, following the directions at https://www.uni-passau.de/en/jaf.

• • 2024 Annual Meeting of the Australasian Association for Logic November 26–28, 2024, Sydney, Australia. The annual conference of the AAL will be held in a hybrid format, with its in-person activities at the University of Sydney. The invited speakers are A. Conversano, M. Droste, and N. Greenberg. Contributed talks in all areas of logic are welcomed and should be submitted by September 5 following the instructions at https://sites.google.com/view/aalogic/aal-conference-2024, which also describes how to register for either in-person or online participation. This meeting is organized by G. Badia, S. Rubin, and S. Standefer. (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.

• • 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 2 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 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 four of the last 5 years. To apply, please send an email to the ASL Committee on Membership at [email protected]. Include your name, full mailing address, and your academic affiliation. 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.

• • 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 four of the last 5 years. For further information, visit http://aslonline.org/membership/individual-membership/ or contact the ASL Business Office: ASL, Department of Mathematics, University 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].