• The 2022 ASL Election. In the 2022 election, the members of the ASL elected Russell Miller (Queens College, CUNY) and Reed Solomon (University of Connecticut) as Co-Secretary-Treasurers; Samson Abramsky (University College London) and Matthias Aschenbrenner (Vienna) as at-large members of the Executive Committee; and Qi Feng (Tsinghua University) and Rehana Patel (African Institute for Mathematical Sciences) as at-large members of the ASL Council. All terms are for three years beginning January 1, 2023. Many thanks to all those who voted.
• 2022 Sacks Prize Awarded. The ASL Committee on Prizes and Awards has awarded the 2022 Sacks Prize jointly to Dr. Francesco Gallinaro, currently at the University of Freiburg, and to Dr. Patrick Lutz, currently at the University of California, Los Angeles. Here are the citations by the Committee:
Francesco Gallinaro received his Ph.D. in 2022 from Leeds University under the joint supervision of Vincenzo Mantova and Dugald Macpherson. His thesis “Around exponential-algebraic closedness” provides further evidence towards the quasi-minimality property of the field of complexes enriched with the exponential map, conjectured by Boris Zilber. For a family of varieties (defined by equations that are dimensionally likely to have solutions), Francesco Gallinaro shows that the Exponential Algebraic Closedness-property holds in the field of complexes, then considers the analogous problem for abelian varieties with their associated exponential maps and finally in the upper half plane endowed with other analytic functions such as the elliptic modular function. His novel approaches also demonstrate a mastery of quite different techniques and are strongly expected to enable further progress.
Patrick Lutz received his Ph.D. in 2021 from the University of California, Berkeley under the supervision of Theodore A. Slaman. His dissertation “Results on Martin’s Conjecture” contains some of the most substantial progress in decades on Martin’s Conjecture, including a proof of the first part of Martin’s Conjecture for order-preserving functions, and of its analog for regressive functions on the hyperarithmetic degrees. Its methods also open up new possibilities in the study of Martin’s Conjecture. The proofs involve several novel ideas, and a powerful combination of methods from set theory and computability theory, with applications beyond Martin’s Conjecture, including the most significant advance in decades on a question of Sacks about embeddability of continuum-sized partial orders into the Turing degrees.
• 2022 Shoenfield Prizes Awarded. The ASL Committee on Prizes and Awards has awarded the 2022 Shoenfield Prizes. The Prize for a book is awarded to Sergio Galvan, Paolo Mancosu, and Richard Zach for their book An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs (Oxford University Press, 2021). The Prize for an expository article is awarded to Vasco Brattka for his article “A Galois connection between Turing jumps and limits,” (Logical Methods in Computer Science
$\textbf {14}$
, 3 (2018)). Congratulations to the awardees!• 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 based 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 asl-membership@googlegroups.com. After two years, outreach members should contact Shannon Miller at asl@uconn.edu 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.
• 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 USmemberservices@cambridge.org.
Many logicians, when becoming members of the ASL, opt out of receiving email from Cambridge U.P., which administers the membership program. In such cases, due to European Union regulations regarding opting-out, these members may not receive any electronic notification of the expiration of their memberships, and we know of cases where memberships have lapsed simply because the member was unaware of the expiration date. The ASL is working with CUP to develop a better system, still conforming to the EU regulations. In the meantime, we encourage all those whose memberships expired in 2022, especially those who may have opted out of email, to be careful to renew their memberships in a timely fashion!
• 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 asl@uconn.edu or to the ASL Business Office (ASL, Dept. of Mathematics, Univ. of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA). The deadlines for the 2023 North American Annual Meeting and the 2023 Logic Colloquium have passed. 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 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). The meeting program is available at aslonline.org/meet/.
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. Pre=registration is open and 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 ASL meeting program is available at aslonline.org/meet/. To register online, visit the meeting website https://www.apaonline.org/events/EventDetails.aspx?id=1256302∖&group= by March 20, 2023.
• 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, J. Franklin, 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 & T. Powell); Computability (V. Brattka & K. Lange); Logic and Computation (S. Buss & L. Kołodziejczyk); Logic and Philosophy (L. Crosilla & A.M. Klev); Model Theory (J. Freitag & M. Hils); and Set Theory (O. Ben-Neria & S. Müller).
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). 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 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. Inquiries may be directed to logic@nankai.edu.cn.
• 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 and Combinatorics 2023 May 15–21, 2023, Storrs, CT, USA. This meeting at the University of Connecticut is divided into a summer school on May 15–18 and a conference on May 19–21. The deadline for applications to the summer school and for financial support is March 30, 2023. The Program Committee consists of P. Cholak, D. Dzhafarov, D. Hirschfeldt, M. Malliaris, A. Montalbán, T. Slaman, R. Solomon, and L.B. Westrick. For more information see https://www.computability.org/comp2023/.
• 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
$\check{\mathrm{g}}$
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/. (ASL Sponsored Meeting.)• Second International Conference in Homotopy Type Theory May 22–25, 2023, Pittsburgh, PA, USA. HoTT 2023 will be held at Carnegie Mellon University. The invited speakers are J. Bergner, T. Coquand, A. Kovács, and A. Mörtberg. The Scientific Committee is chaired by N. Gambino, and the Local Committee is chaired by S. Awodey. For further information see https://hott.github.io/HoTT-2023/. (ASL Sponsored Meeting.)
• MAMLS Spring Fling May 23–26, 2023, New Brunswick, NJ, USA. The annual Mid-Atlantic Mathematical Logic Seminar meeting at Rutgers University returns after a hiatus, this time as a spring meeting. The website https://sites.math.rutgers.edu/~fc327/MAMLS2023/index.html gives the fourteen invited speakers from a broad range of disciplines in logic. Online registration there will be available soon.
• Young Set Theory 2023 May 29–June 3, 2023, Münster, Germany. This meeting is aimed at young researchers in set theory, offering tutorials by O. Ben-Neria, N. Dobrinen, V. Fischer, S. Jackson, and T. Tsankov in addition to plenary talks by W. Chan, M. Eskew, T. Gilton, Z. Kostana, and J. Zomback. The organizers are S. Hoffelner, A. Kwiatkowska, S. Müller, and F. Schlutzenberg. More information appears at 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.)
• 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 informal abstract submissions 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. The deadline for submitting papers for the Student Session is March 20, 2023. More information is available at https://2023.esslli.eu/.• Model Theory Conference in Seoul August 28–30, 2023, Seoul, South Korea. This conference will take place at Yonsei University. The Programme Committee consists of J. Dobrowolski, B. Kim, J. Lee, and N. Ramsey. The local organizers are H.-J. Kim, J. Kim, H. Lee, and J. Lee. Registration and the extensive list of speakers are available at https://sites.google.com/yonsei.ac.kr/modeltheoryseoul2023.
• 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.)
• 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 asl-membership@googlegroups.com. 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: asl@uconn.edu.
• 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/.
