Latest Announcements
>   ASL Announcements

   Other Announcements
   Book Announcements
   Announcement Archives

Reduced Dues for Individuals and Institutions in Developing Economies

The ASL offers reduced dues for individuals and institutions in developing economies. For 2018, 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 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 webpage 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 and will increase to US$51 in 2018. 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


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, currently at US-$18, as long as their country of residence is on the ASL's list of developing economies (see


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.


Ph.D. Abstracts in Logic Being Published in the Bulletin of Symbolic Logic.

This year the Association for Symbolic Logic has begun to publish abstracts of Ph.D. theses in logic in the \emph{Bulletin of Symbolic Logic}. Christian Rosendal is the editor for this new section of the \emph{BSL}. For further information, visit


In Memoriam: Kosta Dosen

On October 21, 2017 Kosta Dosen died in Belgrade, Serbia, aged 63. He graduated from the University of Belgrade in 1977 and received a doctorate from the University of Oxford in 1981. He became a professor at the Mathematical Institute Belgrade in 1982, was professor at the Department of Computer Science of the University of Toulouse from 1994 to 1998, and held the Chair of Logic in the Philosophical Faculty of the University of Belgrade since 2003. He had visiting professorships at universities including Notre Dame (USA), Montpellier (France) and Tübingen (Germany).

Kosta Dosen's D.Phil. on Logical Constants was supervised by Michael Dummett and Dana Scott. As part of his thesis, and in subsequent publications, he developed a proof-theoretic characterization of logical constants by means of what he called "double-line rules''. This continues to be widely discussed and is one of the major approaches in the debate on what logicality should mean. Working on the proof theory (and partly also model theory) of logics with restricted structural rules, he coined the term "substructural logic'' at a conference in Tübingen in 1990.

The main topic of his intellectual life was the field of categorial proof theory, founded by Joachim Lambek, William Lawvere, and others. Kosta Dosen shaped the development of this field in many respects, in particular with his books Cut Elimination in Categories and Proof-Theoretical Coherence, the latter with Zoran Petrić. He was a strong adherent and promotor of what Dag Prawitz called "general proof theory'', which is the study of proofs as objects in their own right rather than from the point of view of provability. This implied for him that the question of the identity of proofs was the central topic of general proof theory, where he was particularly interested in the relationship between normalization-based and generality-based approaches. In recent years he worked with great passion on Kurt Gödel's work, including unpublished manuscripts in his Nachlass. A critical edition Gödel's Notre Dame course in logic, edited by Milos Adzić and him, has just appeared.

Kosta Dosen was a gifted and dedicated teacher who was an inspiration to students and colleagues alike. His explanations will live on in the pages of his textbook on elementary logic (in Serbian). He will be greatly missed by relatives, friends and colleagues, and all who had the good fortune to know him.


The 2017 ASL Election

The ASL membership has elected Philip Ehrlich (Ohio) and Maryanthe Malliaris (Chicago) to the Executive Committee, and Mariya Soskova (Madison) and Yang Yue (Singapore) to the Council. Their terms of office are for three years beginning January 1, 2018. The Nominating Committee consisted of Sam Buss, Zoé Chatzidakis, Su Gao, Byunghan Kim, Antonio Montalbán, Justin Moore, and Alasdair Urquhart (Chair).


ASL Secretary-Treasurer and Office Transition

Charles Steinhorn stepped down as ASL Secretary-Treasurer on May 31, 2018, and the ASL administrator, Fran Whitney, retired at the end of April 2018. The ASL Council approved the appointment of Russell Miller (CUNY) and Reed Solomon (Storrs) to share the Secretary-Treasurer duties for the remainder of Steinhorn's term that ends on January 1, 2020. Thereafter, Miller and Solomon will be eligible for election to (renewable) 3-year terms. The ASL office has moved from Vassar to the University of Connecticut, and a new administrator, Shannon Miller, has been hired to staff the office. The new ASL office email address is; the new postal address is: ASL, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA; the new telephone number is: 1-860-486-3989; and the new fax number is 1-860-486-4238.


Student Travel Awards: ASL or ASL-Sponsored Meetings

Student members of the ASL may apply for travel grants to ASL or ASL-sponsored meetings (other than the 2019 North American Annual Meeting and the 2019 European Summer Meeting; the announcement for travel award applications for these meetings will be made in the fall of 2018). 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 ASL student member travel grants to ASL or ASL-sponsored meetings (other than the North American Annual Meeting and the 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, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA; Fax: 1-860-486-4238; email: Decisions will be communicated at least two months prior to the meeting.


ASL April 2018 Newsletter

For the current ASL Newsletter, click on the link below.
Adobe PDF


2018 Karp Prize Awarded at the 2018 North American Annual Meeting

The ninth Carol Karp Prize was jointly awarded to Matthias Aschenbrenner, Lou van den Dries, and Joris van der Hoeven for their work in model theory, especially on asymptotic differential algebra and the model theory of transseries. The prize was awarded at the ASL North American Annual Meeting in May. The Karp Prize, established in 1973 in memory of Professor Carol Karp, is awarded every five years. The award is made by the Association, on the recommendation of the ASL Committee on Prizes and Awards, for a "connected body of research, most of which has been completed in the time since the previous prize was awarded.'' The winners will share a -$5,000 cash award. A Lecture on the prize-winning work was delivered by David Marker at the award ceremony.


2018 Sacks Prize

The ASL invites nominations for the 2018 Sacks Prize for the most outstanding doctoral dissertation in mathematical logic. Nominations must be received by September 30, 2018. The Sacks Prize was established to honor 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

Anyone who wishes to make a nomination for the 2018 Sacks Prize should consult the webpage for the precise details of the application process. A brief summary of the procedure is provided below.

Students who defend their dissertations (equivalent to the American doctoral dissertation) between October 1, 2017, and September 30, 2018, 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 adviser, 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 adviser, 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, Thomas Scanlon; pdf files sent as attachments by email to 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. Correspondence should be addressed to Thomas Scanlon, University of California, Berkeley, Mathematics Department, Evans Hall, Berkeley, CA, 94720-3840, USA.

Those wishing to contribute to the Sacks Prize Fund may send contributions to the ASL 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.


Call for Proposals: 2020 AMS-ASL Joint Special Session

The 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 Denver, Colorado, January 15--18, 2020. Proposals or requests for more information should be sent to the Committee Chair, Natasha Dobrinen (email: The deadline for receipt of proposals is January 7, 2019.


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