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.


In Memoriam: Matatyahu Rubin

Matatyahu (Mati) Rubin passed away on February 6, 2017, at the age of 70, after a struggle with lung cancer. He was a remarkable, devoted, mathematician and a unique person. He contributed to set theory and model theory, ordered algebraic structures, and general topology, but most significantly to the theory of Boolean algebras and to the study of reconstruction problems. His contributions to the study of the problem of reconstructing various structures from groups of their automorphisms have, by now, become a fundamental part of the theory and a standard tool in the study of the problem.

Born in Tel-Aviv, Israel in 1946, Mati received his education at the Hebrew University of Jerusalem. An extremely thorough and assiduous scholar, Mati decided that to truly understand first order logic, he had to study at depth a specific example. In his M.Sc. thesis under the supervision of Gaifman, he investigated the theory of linear orders. Despite being a well known example already studied by central figures in the field, Mati obtained significant new results. His first published paper Theories of linear order, based on this work, is still a standard reference in the subject, and a canonical example of classical model theoretic analysis (in the spirit of Tarski and Robinson) without good quantifier elimination.

Following Gaifman's advice, Mati started his Ph.D. as Shelah's first student, upon the latter's arrival at the Hebrew University. His dissertation On Boolean Algebras and Their Automorphism Groups, already touched upon the main themes that would occupy Mati throughout his career: Boolean algebras, automorphism groups and reconstruction problems. The problem of reconstructing a Boolean algebra from its group of automorphism was formulated by Monk in 1975, with rudimentary answers due to Monk and McKenzie (around 1977). Mati's work greatly extended the subject in several directions.

In view of McKenzie's (and independently Shelah's) proof that Boolean algebras, in general, cannot be reconstructed from their automorphism groups, Mati embarked on a long term project of finding the most general homogeneity conditions for which reconstruction theorems do exist. Realizing that in most cases the reconstruction results he obtained did not depend on the group $G$, he worked with the full group of automorphisms. Mati also started studying sufficient conditions for groups of automorphisms from which homogeneous enough Boolean algebras could be reconstructed. It is one of Mati's most striking results that the most important of those conditions is first order expressible in the language of groups (i.e., not even in the language of permutation groups). Mati's work on the subject continued during his 1977 assistant professorship in Boulder, Colorado, and upon his return in 1978 to Israel, as a lecturer at Ben Gurion University. This work, culminated in a fairly complete solution of Monk's problem in his 1989 paper, On the reconstruction of Boolean algebras from their automorphism groups, which appeared in the Handbook of Boolean algebras.

Rubin's contributions to the theory of Boolean algebras was not limited to reconstruction problems. One of his best works on the subject appeared as A Boolean algebra with few subalgebras, interval Boolean algebras and retractiveness', where, using $\diamond$, Mati constructed a restrictive Boolean algebra $B$ of cardinality $\aleph_1$ with only $\aleph_1$ sub-algebras, and such that $B$ is not embeddable in an interval algebra, refuting conjectures of Monk, McKenzie and Rotman.

Mati's character as a meticulous, hard working and independent researcher manifested itself already as a student. During his Ph.D. he deliberately steered away from directions suggested to him by Shelah, in order to maintain his independence as a researcher and pave his own path in mathematics. When faced with tough problems which others would have set aside for a later time, Mati never gave up. He chain smoked his way through long days and nights of hard work, until the problem was solved.

After a decade or so of work around the reconstruction of Boolean algebras, Rubin realized its solution could help in many other reconstruction problems. Expanding significantly the seminal work of Whittaker on the reconstruction of Euclidean manifolds, Mati introduced the notion of local movement systems and proved a reconstruction theorem for such systems. In his 1989 paper On the reconstruction of topological spaces from their groups of homeomorphisms Mati re-proved via his new method basically all known results in the area and obtained many spectacular new results concerning groups of differentiable and Lipschitz homeomorphisms of differentiable manifolds, groups of measure-preserving automorphisms of measure algebras, and groups of automorphisms of certain linear orderings and Boolean algebras.

Expanding the scope of his techniques Mati addressed reconstruction problems for trees in his 1993 monograph, The reconstruction of trees from their automorphism groups, and for $\aleph_0$-categorical structures, Banach spaces, and more in his 2005 research monograph, written in collaboration with Y. Yomdin, Reconstruction of manifolds and subsets of normed spaces from subgroups of their homeomorphism groups.

In 1988 Rubin was diagnosed with cancer for the first time. He fought the disease fiercely, never stopping to work (or to smoke), coming to his office even on the day he received chemotherapy treatments.

As the son of Hanan Rubin, a socialist leader who served in the Kneset (the Israeli parliament) for 13 years, Mati was a socially aware person, who never created any distance between himself and his students, as witnessed by the ever overflowing crowd of students attending his office hours. His graduate students became his friends and collaborators.

About a year after his retirement in 2015, Rubin was diagnosed with cancer for the second time. As in the first time, he fought the disease, he kept working, and remained optimistic. Unfortunately, the disease and the harsh treatments overcame him. He will be greatly missed by his colleagues at Ben Gurion University, his many co-authors, with whom he was always keen to cooperate and share his knowledge, and his friends.


The 2016 Sacks Prize Awarded jointly to W. Johnson and L. Patey

The ASL Committee on Prizes and Awards has selected Will Johnson of Niantic, Inc. and Ludovic Patey of the Université Claude Bernard Lyon 1 as the recipients of the 2016 Sacks Prize. The prize consists of a cash award plus five years free membership in the ASL for each awardee.

Johnson received his Ph.D. in 2016 from the University of California, Berkeley, under the supervision of Tom Scanlon. Johnson's thesis, Fun with Fields contains a number of outstanding results in the model theory of fields, including the classification of the fields $K$ whose theories have the property of dp-minimality, a strong form of "not the independence property''. Johnson's main breakthrough is the construction of a definable topology on $K$, when $K$ is not algebraically closed, introducing vastly new ideas and techniques into the subject.

Patey received his Ph.D. in 2016 from the the Université Paris VII under the supervision of Laurent Bienvenu and Hugo Herbelin. In his thesis, The Reverse Mathematics of Ramsey-type Theorems, he solved a large number of problems in the reverse-mathematical and computability-theoretic analysis of combinatorial principles. In doing so, he combined great technical ability with a powerful eye for unification, isolating several notions that have helped systematize the area.


Ph.D. Abstracts in Logic to be Published in the Bulletin of Symbolic Logic.

Beginning in 2018, the Association for Symbolic Logic will begin publishing abstracts of Ph.D. theses in logic in the Bulletin of Symbolic Logic. Christian Rosendal is the editor for this new section of the BSL. For further information, visit the webpage below.


Student Travel Awards: The 2018 ASL North American Annual Meeting, 2018 ASL European Summer Meeting, and other ASL or ASL-Sponsored Meetings

The ASL will make available modest travel awards to graduate students in logic so that they may attend the 2018 ASL North American Annual Meeting in Macomb, Illinois or the 2018 ASL European Summer Meeting in Udine, Italy; see below for information about these meetings. 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 2018 ASL North American Annual Meeting, applications and recommendations should be received before the deadline of March 9, 2018, by the Program Chair: David Marker, email: Applications are to be submitted by email only.

For the 2018 ASL European Summer Meeting, applications for student travel grants and recommendations should be received between January 1, 2018 and the deadline of May 4, 2018. They should be submitted electronically, by email to (see the application instructions at, beginning in January 2018). If electronic submission is not possible, applications and recommendations should be mailed to: Prof. H. Dugald Macpherson, PC chair: Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK.

For ASL student member travel grants to ASL or ASL-sponsored meetings (other than the 2018 North American Annual Meeting and the 2018 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: Jeffrey B. Remmel

It is with great sadness that we report the passing of Jeffrey B. Remmel. Remmel earned his doctorate in mathematics at Cornell University in 1974. He was a student of Anil Nerode. Remmel's dissertation was entitled Co-recursively Enumerable Structures. After completing his Ph.D. Remmel joined the faculty at the University of California at San Diego, where he spent his entire career.

Remmel published more than 300 articles with more than 90 collaborators. About half of his publications were in mainstream mathematical logic and about half were in mainstream algebraic combinatorics. Among these papers were 19 articles in The Journal of Symbolic Logic and 24 articles in the Annals of Pure and Applied Logic. His wide-ranging research interests in logic included computability theory, computable algebra, and computable model theory. His research in logical methods applied to computer science included knowledge representation theory, non-monotonic logics, complexity theory, and hybrid systems. He was co-editor of the two-volume Handbook of Recursive Mathematics, published in 1998, to which he contributed two long survey articles, one on effectively closed sets and one on complexity-theoretic model theory and algebra.

Remmel was adviser to more than 30 Ph.D. students. He served as the Chair of the Mathematics Department, and was the longtime Associate Dean for Physical Sciences at UCSD. He also was a leader in the field of STEM education. He was a founding director of the Science and Math Teacher Initiative (CalTeach) at UCSD. Later he served as chair of the system-wide Committee for CalTeach for the State of California. He also spent several years in private industry as a contributor to commercial hybrid systems software.

Jeff is survived by his wife Paula, and their children Sara-Maria and Christopher. His friends and close collaborators feel deep pain by the enormous and unexpected loss his passing represents.


In Memoriam: Vladimir Voevodsky

Vladimir Voevodsky, a truly extraordinary and original mathematician who made remarkable advances in algebraic geometry, and whose most recent work concerned rewriting the foundations of mathematics to make them suitable for computer proof verification, died at age 51 on September 30, 2017 in Princeton, New Jersey. Voevodsky was Professor in the School of Mathematics at the Institute for Advanced Study, a position he held since 2002.

Born in Moscow on June 4, 1966, Voevodsky earned his Ph.D. in 1992 at Harvard University under David Kazhdan. Voevodsky spent time at Harvard University as a junior fellow in the Harvard Society of Fellows from 1993-96 and as a visiting scholar from 1996-97 and again from 2006-08. He was also a visiting scholar at the Max-Planck Institute in 1996-97, and associate professor at Northwestern University from 1997-98. He was awarded the Fields Medal in 2002 at age thirty-six, shortly after his appointment as Professor in the School of Mathematics. He had spent the prior three years (1998-2001) as a long-term Member.

Voevodsky earned the Fields Medal for developing motivic cohomology, involving new cohomology theories for algebraic varieties, which have provided new insights into number theory and algebraic geometry. Voevodsky was able to handle highly abstract ideas to solve concrete mathematical problems. He had a deep understanding of classical homotopy theory, where the objects considered are flexible, and was able to transpose its methods in the very rigid world of algebraic geometry. This enabled him to construct new cohomology theories for algebraic varieties, which he used to prove the Milnor and Bloch-Kato conjectures, relating K-theory groups of fields and Galois cohomology, which for three decades were the main outstanding problems in algebraic K-theory.

More recently, Voevodsky had worked in type-theoretic formalizations of mathematics and automated proof verification. He was working on new foundations of mathematics based on homotopy-theoretic semantics of Martin-Löf type theories. This led him to introduce a new, very powerful and interesting "univalence'' axiom. Examples of mathematical errors in his own past work and the work of other mathematicians became a growing concern for Voevodsky, and he determined that he needed to use computers to verify his abstract, logical, and mathematical constructions. He applied ideas from homotopy theory to the type theory used in computer proofs, and said that the main goal of his most recent work was "to advance the mathematical theory of dependent type theories to the level where it can be used for rigorous study of the complex type theories that are in use today and of the even more complex ones that will appear in the future.'' Voevodsky formalized much of the mathematics in his newer papers using the proof assistant Coq and the UniMath library of formalized mathematics, of which he was the founder and primary developer.

Voevodsky is survived by his former wife, Nadia Shalaby, their two daughters, Natalia Dalia Shalaby and Diana Yasmine Voevodsky, his aunt, Irina Voevodskaya, and extended family in Russia and around the world. A funeral service will be held in Moscow on December 27th, followed by a mathematical conference in honor of his work on December 28th at the Steklov Mathematical Institute of the Russian Academy of Sciences. The Institute for Advanced Study will convene an international conference on Voevodsky's extraordinary and original work on September 29-30, 2018.


2017 Alonzo Church Award for Outstanding Contributions to Logic

The 2017 Alonzo Church Award for outstanding contributions to logic and computation has been awarded jointly to Samson Abramsky, Martin Hyland, Radha Jagadeesan, Pasquale Malacaria, Hanno Nickau, and Luke Ong for providing a fully-abstract semantics for higher-order computation through the introduction of game models, thereby fundamentally revolutionizing the field of programming language semantics, and for the applied impact of these models. The Alonzo Church Award, presented annually, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science, the European Association for Computer Science Logic, and the Kurt Goedel Society.


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, Antonio Montalbán, Justin Moore, Byunghan Kim, and Alasdair Urquhart (Chair).


ASL January 2018 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]