NOTICES

• • 2022 Sacks Prize. The ASL invites nominations for the 2022 Sacks Prize for the most outstanding doctoral dissertation in mathematical logic. Nominations must be received by September 30, 2022. 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 2022 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, 2021, and September 30, 2022, 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, Justin Moore; 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 (see address at the top of this Newsletter). All such contributions are tax-deductible within the USA.

• • 2022 Shoenfield Prizes. The ASL invites nominations for the Shoenfield Prizes for outstanding expository writing in the field of logic. There are two Shoenfield prizes, one for books and one for expository articles, each to be awarded simultaneously every three years; the Shoenfield Prizes were first awarded in 2007. Any book first published in the past 9 years may be considered for the book award. Any article published in the past 6 years may be considered for the article award. Nominations should be submitted to Justin Moore ([email protected]), Chair of the ASL Committee on Prizes and Awards. The deadline for nominations for the 2022 Prizes is November 1, 2022.

  The Shoenfield prizes were established by the ASL to honor the late Joseph R. Shoenfield for his many outstanding contributions to logic and to the ASL. Generations of logicians have especially valued Shoenfield’s expository gifts, and his writings provide models of lucidity and elegance. The ASL administers the fund on which the Prize is based and makes the award upon the recommendation of its Committee on Prizes and Awards. For general information about the Prize, see http://aslonline.org/asl-information/prizes-and-awards/.

• • Open-Access Options for ASL Journals. Authors of research articles in logic, who may wish to consider submitting those articles to the Bulletin of Symbolic Logic, the Journal of Symbolic Logic, or the Review of Symbolic Logic, should be aware that these journals now offer the option of open-access publication. All three journals are now hybrid. They still accept article submissions exactly as before, and they will still publish accepted articles just as before if the author does not opt for open access. However, for authors with mandates to publish open-access articles (or who simply prefer to do so), this option is also available. Details appear at https://www.cambridge.org/core/services/open-access-policies.

• • Student Travel Awards: ASL and ASL-Sponsored Meetings. Student members of the ASL may apply for travel grants to ASL and ASL-sponsored meetings. These meetings are identified in the listings below. To be considered for a travel award, please (1) send a letter of application, and (2) ask your thesis supervisor to send a brief recommendation letter. The application letter should be brief (preferably one page) and should include: (1) your name; (2) your home institution; (3) your thesis supervisor’s name; (4) a one-paragraph description of your studies and work in logic, and a paragraph indicating why it is important to attend the meeting; (5) your estimate of the travel expenses you will incur; (6) (for citizens or residents of the USA) citizenship or visa status; and (7) (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 travel grant applications for the 2022 European Summer Meeting (Logic Colloquium) and the 2022 Simposio Latino Americano de Lógica Matemática have passed. For all 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. 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). Decisions will be communicated at least two months prior to the meeting.

  ASL-sponsored meetings are identified as such in the list of meetings below. Official ASL meetings include the Logic Colloquium, the North American Annual Meeting, the Simposio Latino Americano de Lógica Matemática, the Asian Logic Conference, 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/.

• • Status of scheduled meetings. Under the circumstances of the coronavirus pandemic and the measures in place to combat it, some logic meetings scheduled for 2022 have already been canceled or shifted online, and it is possible that more will be canceled or postponed. Information appearing here is current as of publication, but ASL members should use the URL given in each item to confirm the ongoing status of any meeting they may consider attending.

• • Online logic seminars. To replace canceled meetings and seminars, certain regular online logic seminars have sprung up. A list of existing seminar series with talks available online appears at miguelmath.com/webminars.html. Additionally, the site lagrange.math.siu.edu/calvert/OnlineLogicSeminar.html has been created to host a new, purely online logic seminar. The site ctaseminar.computability.org hosts an online seminar entitled Computability Theory and Applications. The Logic Supergroup at logic.uconn.edu/supergroup/ runs an online seminar on logic across linguistics, mathematics, and philosophy. The website nylogic.github.io/ lists ongoing seminars in logic and set theory organized by the CUNY Graduate Center.

• • Call for Proposals: 2024 North American Annual Meeting. The ASL Committee on Logic in North America requests proposals for the 2024 ASL North American Annual meeting to be held some time during the first five months of 2024. The committee seeks a university somewhere in North America and a local committee to host the meeting and handle the local arrangements. The ASL meetings ordinarily cycle geographically between midwest (South Bend, IN 2021), east (Ithaca, NY 2022), and west (Irvine, CA 2023). Thus, for 2024, the committee seeks a location in the midwest. However, any reasonable proposal will be considered. For more information, interested parties should contact the Committee Chair, Tom Scanlon (email: [email protected]), ideally no later than June 15, 2022.

• • 2022 Logic Colloquium (ASL European Summer Meeting). June 27 – July 1, 2022, Reykjavik, Iceland. Logic Colloquium 2022 is planned as a hybrid meeting with substantial in-person attendance, hosted by the Department of Computer Science of Reykjavik University. The invited speakers are T. Altinel, A. Freund, G. Fuchs, P. Idziak, J. Kennedy, K. Lange, A. Melnikov, M. Müller, F. Pakhomov, F. Point, and A. Vaccaro. Tutorials will be offered by L. Barto and L. San Mauro, while P. Blanchette will deliver the 2022 Gödel Lecture. Special sessions (organized by those named below) will be held in Computer Science Logic (N. Galesi and T. Uustalu); Model Theory (D. Macpherson); Philosophy of Mathematics (J. Ladyman and G. Venturi); Proof Theory and Ordinal Analysis (L. Beklemishev and A. Weiermann); Reverse Mathematics and Combinatorial Principles (M. Fiori Carones and L. Patey); and Set Theory (D. Bartošová and I. Farah). An extensive list of contributed talks will also be presented. The conference website is http://icetcs.ru.is/lc2022/. The Program Committee consists of A. Achilleos, A. Berkman, Z. Chatzidakis, E. Fokina, B. Halimi, E. Jeřábek, R. Miller, M. Rathjen, R. Schindler, and A. Sorbi (chair). The Organizing Committee includes L. Aceto, A. Achilleos, A. Ingólfsdóttir, and T. Uustalu.

  While the organizers encourage all participants to come to Iceland in person if possible, they have also decided to offer attractive options for online participation, recognizing that many logicians remain unable or reluctant to travel. The fee for early registration for online participation has been held to 20 euros (see http://icetcs.ru.is/lc2022/fees/), and it is expected that up to one-third of the contributed talks will be presented remotely. (The deadline for submitting abstracts has passed.) Barring further waves of coronavirus, the tutorials and most of the plenary and special-session talks (although not all) are planned in-person.

• • 2022 Simposio Latino Americano de Lógica Matemática July 26-30, 2022, San Jose, Costa Rica. The 2022 SLALM, an official ASL meeting, will be held on the campus of the Universidad de Costa Rica, mainly as an in-person meeting. The plenary speakers are C. Brech, M. Dzamonja, Ll. Godo Lacasa, M. Harrison-Trainor, D. Haskell, O. León Sánchez, E. Pimentel, and L.C. Pereira. Minicourses will be given by D. García, O. Guzmán, D. Szmuc, and L. Westrick, and thematic sessions (organized by those named) are planned in Computability (A. Montalbán); Computer Science (L. Gonzales and A. Lara); Model Theory (A. Onshuus and S. Montenegro); Non-Classical Logics and Algebraic Logic (R.O. Rodriguez and S. Montenegro); Philosophy of Logic and Philosophical Logic (E.A. Barrio and L. Boccafogli); and Set Theory (V. Fischer and R. Zamora). The thematic sessions will include both invited and contributed talks. The Scientific Committee includes E. Barrio, E. Casanovas, V. Fischer, V. Harizanov, H. Mariano, A. Montalbán, S. Montenegro Guzmán, and A. Onshuus, while the Organizing Committee consists of S. Montenegro Guzmán and R. Zamora Calero. The webpage for the meeting is https://paginas.cimpa.ucr.ac.cr/slalm/index.php/en/.

• • 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 June 6–10, 2022, Isaac Newton Institute, Cambridge, UK. CCR is a conference series focussed on algorithmic randomness, algorithmic information theory, and their impact on mathematics. This workshop follows up on the 2012 Newton Institute semester-long programme on computability theory during the Turing Centennial year. The Organising Committee is chaired by E. Mayordomo, and the website is https://www.newton.ac.uk/event/sasw09/.

• • Workshop on Reverse Mathematics and its Philosophy June 13–17, 2022, Paris, France. This workshop will be held in a hybrid format at the University of Chicago Center in Paris, France. It is organized by A. Arana, L. Bienvenu, A. Champougny, D. Hirschfeldt, B. Monin, L. Patey, and S. Reitzes. Limited travel funding may be available for some participants. For further information, please visit https://wrmp2022.sciencesconf.org/.

• • Journées sur les Arithmétiques Faibles (Weak Arithmetic Days) June 13–17, 2022, Moscow, Russia. JAF 41 was officially cancelled by the Steering Committee following the United Nations’ overwhelming resolution concerning the Russian invasion of Ukraine. For more information, see http://jaf2022.mi-ras.ru.

• • Crossley Festschrift Logic Colloquium June 14–15, 2022, online. This online conference will celebrate John N. Crossley’s 85th birthday, with talks by his students, friends and collaborators. The speakers include Y. Gurevich, W. Hodges, A. Nerode, J. van Benthem, and M. Wirsing. Further information is available from https://sites.google.com/view/crossley-logic-colloquium/home.

• • Panhellenic Logic Symposium July 6–10, 2022, Volos, Greece. This meeting has been rescheduled from July 2021. The Panhellenic Logic Symposium is a biennial scientific event in logic that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic, including philosophical logic, logic in computer science, model theory, computability/complexity theory, and set theory. The program will include hour-long invited talks by A. Brooke-Taylor, T. Kihara, J. Knight, V. Koutavas, A. Macintyre, T. Pheidas, A. Silva, and L. Westrick. Tutorials will be given by A. Kavvos, N. Leonardos, and S. Zachos. The Scientific Committee is co-chaired by G. Barmpalias and K. Tsaprounis. Please see http://panhellenic-logic-symposium.org/13/ for further information. (ASL Sponsored Meeting.)

• • Computability in Europe 2022 July 11–15, 2022, Swansea, United Kingdom. The 2022 meeting of the CiE series will be hosted by Swansea University, mainly as an in-person meeting. The invited speakers are E. Ábrahám, T. Coquand, D. Dzhafarov, L. de Mol, H. Friedman, and S. Selivanova, with tutorials to be offered by N. Greenberg and K. Lehtinen. Special sessions are planned in Computability of Blockchain Technology; Computing Language; Computing with Bio-Molecules; Constructive and Reverse Mathematics; Reachability Problems; and the Intersection of Computability with Mathematics. The Programme Committee is co-chaired by U. Berger and J. Franklin. Further information is available at https://cs.swansea.ac.uk/cie2022/. (ASL Sponsored Meeting.)

• • 36th Summer Topology Festival July 18–23, 2022, Vienna, Austria. This meeting is planned as a mostly in-person event, with a partial focus on logic, including a special session in set-theoretic topology, The invited speakers include A. Kwiatkowska and M. Magidor. Please consult https://www.univie.ac.at/projektservice-mathematik/e/index.php?event=stc21 for updates. (ASL Sponsored Meeting.)

• • Unimod 2022 July 18–August 5, 2022, Leeds, United Kingdom. Unimod 2022 is a three-week programme hosted by the University of Leeds, focused on model theory. It will include an LMS Research School on model theory in the first week, the workshop Practical and Structural Model Theory in the second week, and an EMS Summer School on applications of model theory in the third week. Please see https://conferences.leeds.ac.uk/unimod/ for further information. (ASL Sponsored Meeting.)

• • European Set Theory Conference 2022 August 29–September 2, 2022, Torino, Italy. This meeting is organized by the Department of Mathematics of the University of Turin and the European Set Theory Society, in partnership with the Clay Mathematics Institute. It is planned in-person, and will include tutorials by Y. Hayut and G. Sargsyan, fifteen plenary talks on set theory and related areas, and a special session of four talks celebrating the 60th birthday of B. Veličković. The extensive list of speakers appears on the conference website http://logicgroup.altervista.org/torino/ESTC2022/index.html. Early registration is already open, with a deadline of June 30, 2022. The Program Committee includes J. Bagaria (chair), M. Gitik, P. Komjath, P. Koszmider, H. Mildenberger, L. Motto Ros, and J. Steel. (ASL Sponsored Meeting.)

• • PhDs in Logic XIII September 5–7, 2022, Torino, Italy. PhDs in Logic is an international conference organized every year by and for graduate students. It is an interdisciplinary event, bringing together mathematics, philosophy and formal linguistics in the field of logic, geared to masters students, PhD students and early career researchers. This meeting is planned to follow the European Set Theory Conference (above), at the Campus Luigi Einaudi, University of Turin. The invited speakers include M. Aloni, I. Ciardelli, S. Müller, G. Restall, and J. Väänänen. The Organizing Committee consists of C. Agostini, G. Rosella, V. Saitta, S. Scamperti, and R. Turco. The conference website is https://www.phdsxiii.org. Registration is free but is requested by July 20, 2022. (ASL Sponsored Meeting.)

• • 28th Workshop on Logic, Language, Information and Computation 2022 September 20–23, 2022, Iaşi, Romania. WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. WoLLIC 2022 will be held in-person at the Alexandru Ioan Cuza University in Iaşi. The website for the conference is https://wollic2022.github.io/. (ASL Sponsored Meeting.)

• • Models and Computability: The Mathematics of Julia Knight September 30–October 2, 2022, South Bend, Indiana. This meeting will be held at Notre Dame University, in honor of the work of Prof. Julia Knight. The invited speakers include V. Harizanov, M. Harrison-Trainor, T. Ho, K. Lange, A. Montalbán, and T. Slaman. The organizers are P. Cholak, A. Pillay, and S. Starchenko. Further information is available at https://sites.nd.edu/models-computability2022/. (ASL Sponsored Meeting.)

• • Finite Model Theory and Many-Valued Logic: Challenges and Interactions November 10–11, 2022, University of Queensland, Australia (online). This online meeting will examine interaction between many-valued logics and the model theory of finite structures. For further information, including a substantial list of speakers, please see https://sites.google.com/view/workshop-fmtmvlci/home. (ASL Sponsored Meeting.)

• • Ph.D. Abstracts in the Bulletin of Symbolic Logic. Since 2018, the Bulletin of Symbolic Logic has published abstracts of recent doctoral theses in logic. For further information, or to inform the editor of a newly completed dissertation for inclusion, see http://aslonline.org/journals/the-bulletin-of-symbolic-logic/logic-thesis-abstracts-in-the-bulletin-of-symbolic-logic/. Christian Rosendal is the editor for this section of the BSL.

• • New ASL Books. To see new books in the ASL’s Lecture Notes in Logic and Perspectives in Logic series, visit http://aslonline.org/books/lecture-notes-in-logic/ for LNL volumes and http://aslonline.org/books/perspectives-in-logic/ for Perspectives volumes.

• • Book and Journal Discounts for ASL Members. Several publishers offer discounts on books and journals to ASL members. For a detailed description of these discounts, see http://aslonline.org/membership/member-services-and-resources/ or write to the ASL Business Office.

• • Discounted Dues for New ASL Individual Members. The ASL offers a 50% discount on dues for new individual members during each of the first two years of membership. Visit http://aslonline.org/membership/individual-membership/ for more information.

• • Emeritus and Retired ASL Individual Membership. The ASL offers retired individual members two membership options. Emeritus membership includes all the privileges of regular individual membership and is available to retired individuals who have been members of the ASL for 15 years. The dues for Emeritus membership for 2022 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 http://aslonline.org/membership/world-bank-list-as-of-october-2021-for-2022-memberships/ includes Brazil, Bulgaria, Colombia, India, South Africa, and many other countries classified as “upper middle income” or below on the World Bank’s annual list for four of the last five years. To apply, please send an email to the ASL Committee on Membership at [email protected]. Include your name, full mailing address, and your academic affiliation. For information about the ASL and membership benefits, visit 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 2022, 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 2022, 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/.