Book and Journal Discounts for ASL Members
Several publishers now offer discounts on books and journals to ASL members. For a detailed description of these discounts, visit http://www.aslonline.org/members-discounts.html or write to the ASL Business Office.
Reduced Dues for Individuals and Institutions in Developing Economies
The ASL offers reduced dues for individuals and institutions in developing economies. For 2017, the reduced dues are US$18 for individuals and US$130 for institutional basic membership, US$180 for 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 five years. For more information, visit the website below or contact the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Tel: 1-845-437-7080; Fax: 1-845-437-7830; email: firstname.lastname@example.org.
Rules for Abstracts
The rules for abstracts of contributed talks at ASL meetings (including those submitted "by title'') may be found at http://www.aslonline.org/rules_abstracts.html. 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 submitting them. Revised abstracts that follow the rules will be considered if they are received by the announced deadline.
Emeritus 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 2017 are US$47. 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 the webpage below.
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, found at http://www.aslonline.org/worldbankeconomies.html includes Brazil, Bulgaria, China, Colombia, India, Iran, 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@example.com. Include your name, full mailing address, and your academic affiliation. For information about the ASL and membership benefits, visit http://www.aslonline.org/membership-individual.html. After the initial two-year period new members under this program will pay the reduced membership dues, US$18 for 2017, (see below) as long as their country of residence is on the ASL's list of developing economies.
New ASL Books
To see new books in the ASL's Lecture Notes in Logic and Perspectives in Logic series, visit http://www.aslonline.org/books-lnl-available.html for LNL volumes and http://www.aslonline.org/books-perspectives_cup_springer.html for Perspectives volumes.
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. For more information, visit http://www.aslonline.org/membership-individual.html.
Book and Journal Discounts for ASL Members
Several publishers now offer discounts on books and journals to ASL members. For a detailed description of these discounts, visit the website below or write to the ASL Business Office.
Zilber awarded Polya Prize
Boris Zilber of the University of Oxford was awarded the 2015 Pólya Prize of the London Mathematical Society "for his visionary contributions to model theory and its applications.'' The Prize is awarded in recognition of outstanding creativity in, imaginative exposition of, or distinguished contribution to, mathematics within the United Kingdom.
Student Travel Awards: The 2017 ASL European Summer Meeting, and other ASL or ASL-Sponsored Meetings
The ASL will make available modest travel awards to graduate students in logic and (for the European Summer Meeting only) to recent Ph.D.’s so that they may attend the 2017 ASL European Summer Meeting in Stockholm, Sweden; see below for information about this meeting. Student members of the ASL also may apply for travel grants to other ASL or ASL-sponsored meetings. 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. In addition to funds provided by the ASL, the program of travel grants is supported by a grant from the US National Science Foundation; NSF funds for meetings outside of North America may be awarded only to students at USA universities and to citizens and permanent residents of the USA. Air travel paid for using NSF funds must be in accordance with the Fly America Act. Application by email is encouraged; put "ASL travel application'' in the subject line of your message.
For the 2017 ASL European Summer Meeting, applications and recommendations should be received by the deadline of May 8, 2017. They should be submitted electronically, by email to firstname.lastname@example.org; see the application instructions on https://www.lc17.conf.kth.se. If electronic submission is not possible, applications and recommendations should be mailed to: Attn: Logic Colloquium 2017, Stockholm University, Department of Philosophy, SE-10691 Stockholm, Sweden.
For ASL student member travel grants to ASL or ASL-sponsored meetings (other than the 2017 North American Annual Meeting and the 2017 European Summer Meeting), applications and recommendations should be received at least three months prior to the start of the meeting at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: email@example.com. Decisions will be communicated at least two months prior to the meeting.
In Memoriam: Solomon Feferman
We report with great sadness that Solomon Feferman died on July 26, 2016 at the age of 87. He suffered what was at first considered a “mild” stroke at the end of April, was hospitalized and then moved to a rehabilitation center before returning home, but his condition worsened rapidly over the summer. He remained in his beloved home on the Stanford Campus during the last few weeks of his life.
Solomon Feferman completed his doctoral work in mathematics at U.C. Berkeley under Alfred Tarski. He joined the Departments of Mathematics and Philosophy at Stanford in 1956 and brought strength, insight and inspiration to the logic community at Stanford for 60 years. He was chair of the Mathematics Department from 1985 to 1992 and served the wider community as President of the Association for Symbolic Logic from 1980 to 1982. He was the Patrick Suppes Family Professor and a fellow of the American Academy of Arts and Sciences.
Sol’s outstanding accomplishments as a mathematical logician were recognized in the most public way when he received the prestigious Rolf Schock Prize in Logic and Philosophy in 2003. When awarding the prize to him, the committee particularly emphasized his work on the arithmetization of metamathematics, on progressions of theories and on predicativity. Sol was a leader in mathematical logic internationally with a deep influence, in particular, on work in proof theory and its connections to the foundations of mathematics. He helped to turn the attention of the logic community to the modern evolution of the subject: he was the editor-in-chief of Kurt Gödel's Collected Works and co-authored a biography of Alfred Tarski with his wife Anita. In his retirement, he remained deeply engaged in logical work. At Stanford, he continued to conduct the logic seminar every term. He was working with Gerhard Jäger and Thomas Strahm on a large book project concerning his particular approach to the foundations, Explicit Mathematics. He still traveled and lectured widely. Indeed, at the end of April he gave a marvelous lecture at a Workshop in honor of Charles Parsons, held at Columbia University.
He will be remembered as a disciplined, insightful and kind colleague; he was a supportive and inspiring mentor not only to his many Ph.D. students, but also to a great number of postdoctoral fellows and junior colleagues from all around the world; he was a thoughtful and loyal friend. He is already being sorely missed.
Goncharov elected Academician of the Russian Academy of Sciences
Sergey S. Goncharov, Professor in the Department of Mechanics and Mathematics of Novosibirsk State University and Director of the Sobolev Institute of Mathematics, has been elected as an academician (full member) of Russian Academy of Sciences.
2016 ASL North American Annual Meeting Program
For the 2017 ASL North American Annual Meeting Program, click on the appropriate link .
2016 ASL Winter Meeting (with APA) Program
For the 2017 ASL Spring Meeting (with APA) Program, click on the appropriate link .
The 2016 ASL Election
The ASL membership has elected Charles Steinhorn (Vassar) as Secretary-Treasurer, André Nies (Auckland) and Boban Velickovic (Paris 7) to the Executive Committee, and Juliette Kennedy (Helsinki) and Peter Koellner (Harvard) to the Council. Their terms of office are for three years beginning January 1, 2017. The Nominating Committee consisted of Sam Buss, Zoé Chatzidakis, Su Gao, Martin Grohe, Antonio Montalbán, Itay Neeman, Kazuyuki Tanaka, Alasdair Urquhart (Chair), Alex Wilkie, and Richard Zach.
ASL January2017 Newsletter
For the current ASL Newsletter, click on the link below.
Call for Proposals: 2019 AMS-ASL Joint Special Session
ASL Committee on Logic in North America seeks proposals for an AMS-ASL Joint Special Session to be held at the Joint Mathematics Meetings in Baltimore, Maryland, January 16--19, 2019. Proposals or requests for more information should be sent to the Committee Chair, Reed Solomon (email: firstname.lastname@example.org). The deadline for receipt of proposals is January 5, 2018.