Latest Announcements
>   ASL Announcements

   Other Announcements
   Book Announcements
   Announcement Archives

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 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:


Rules for Abstracts

The rules for abstracts of contributed talks at ASL meetings (including those submitted "by title'') may be found at 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 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 Include your name, full mailing address, and your academic affiliation. For information about the ASL and membership benefits, visit 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 for LNL volumes and 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


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.


In Memoriam: Barry Cooper

Stuart Barry Cooper (known as Barry), Professor of Mathematical Logic at University of Leeds (UK), died on October 26, 2015, aged 72. Raised in Bognor Regis, Barry was educated at Chichester High School for Boys and then Oxford, from which he graduated in 1966. He studied for a Ph.D. under Reuben Goodstein at Leicester, but worked mainly in Manchester with Mike Yates, the only established UK researcher in Barry's chosen field: the structure-theory of the Turing degrees, an exciting emerging field, then largely confined to North America. Barry was appointed to the University of Leeds as a Lecturer in 1969, and remained there throughout his career, excepting regular sabbaticals and invited visits abroad. The years 1971-73, which he spent at the University of California, Berkeley, were especially formative for his research career, and his left-wing politics found common ground with student activism and the civil rights movement. He became a Professor in 1996 at the University of Leeds, and was awarded an Honorary Degree from Sofia University in 2011.

Barry's research focus in mathematical logic was always computability, the study of the theoretical limits of the power of computers (or Turing machines). In the latter decades of the twentieth century, this blossomed into a mathematical discipline of astonishing beauty and profundity, a program in which Barry played a prominent international role, publishing numerous important papers, a monograph ( Computability Theory, Chapman-Hall/CRC, 2003), and various edited collections. Enviably successful at securing research funding, he supervised many successful Ph.D. students, several of whom are now well-established mathematicians. Older computability theorists will recall the Recursive Function Theory Newsletter, an informally distributed news-sheet of abstracts which Barry invented in the 1970's after returning from Berkeley. Aided by Len Smith (who sadly passed away just months after Barry's death) and Stan Wainer, he perhaps already foresaw the growth of the subject. In 2005, Barry became the founder and President of Computability in Europe, a flourishing association of now over a thousand members and a major annual conference. (It was born in unpromising circumstances at a meeting to discuss a rejected European funding application.)

Within computability, Barry was known for his deep and technically complex research, particularly with regard to the Turing and enumeration degree structures. He defined the jump classes, which have become a central object of study in the Turing degrees and all degree structures permitting a jump operation. His theorem, that every degree computably enumerable in and above $0'$ is the jump of a minimal degree, is now regarded as one of the classics of the area. He battled difficult, long-standing problems around definability and automorphisms within degree structures. Over the years, he did much to champion the study of the enumeration degrees, proving many of the fundamental theorems and defining the appropriate notion of jump for that structure. Always one with an eye for real world applications, in recent years Barry had been particularly concerned with the practical significance of the limits of computability, and their implications for our understanding of the scientific process.

Barry's achievements extended well beyond mathematics. Having played rugby for England Under-16s, he became a keen long-distance runner, with a personal best marathon time of 2 hours, 48 minutes. Another passion was jazz and, more generally, experimental music. He co-founded the Leeds Jazz non-profit organization in 1984, and helped attract top artists to the city, including Art Blakey and the Art Ensemble of Chicago. A committed left-wing political activist, Barry was involved in various campaigns, notably the Chile Solidarity Campaign for refugees from 1973, and the Miners' Strikes of 1984-85.

The year 2012 was the centenary of the birth of Alan Turing, a celebration which Barry led with boundless energy, and which did much to bring Turing the public recognition he deserves. Barry chaired a 6-month scientific program on Semantics and Syntax at the Isaac Newton Institute in Cambridge, and became the broader celebration's spokesman on Twitter and in the media, including in the Guardians' Northerner column. One outcome was Alan Turing: His Work and Impact, edited by Barry and Jan van Leeuwen, a hefty and definitive volume which won the Association of American Publishers R.R. Hawkins Award.

Popular with undergraduates as an outstanding and charismatic teacher, Barry was deeply concerned about his undergraduate and postgraduate students and their futures. He generated intellectual activity well beyond the obvious academic structures, for example, running in recent years an informal reading group around themes in logic and the philosophy of science. He was always quick to encourage and support junior colleagues, or junior members of the national and international research community.

Barry's intense research, teaching, and Ph.D. supervision, as well as his role with the Turing Year, Computability in Europe, and on EU funding panels, continued to the end of his life. When he learned in October of his diagnosis, his response was to try to accelerate his efforts to set his Ph.D. students on a good course, conclude major research projects, and complete several papers and books. He invited two colleagues to Leeds to work on one of the major open problems in the area. Sadly, they arrived too late to work with him, but will continue to tackle the question on which he had worked for many years.

Barry died peacefully after a short illness. He is survived by his wife Kate and their sons Evan and Mark, and by his daughters Carrie and Shirin with his former partner Sue Buckle.


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; see the application instructions on 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: 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 .
Adobe PDF


2016 ASL Winter Meeting (with APA) Program

For the 2017 ASL Spring Meeting (with APA) Program, click on the appropriate link .
Adobe PDF


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.
Adobe PDF


[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]