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 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 http://www.aslonline.org/membership-individual.html.
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, currently at US-$18, as long as their country of residence is on the ASL's list of developing economies (see http://www.aslonline.org/worldbankeconomies.html).
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.
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.
ASL Membership Dues Increase
The ASL Secretary-Treasurer will recommend to the ASL Council that in the year 2018 the dues for individual membership in the Association be increased to US$102; in 2017 the dues are US$94, and they have been at this rate since 2015. (For emeritus, student, and unemployed members, the 2018 dues will be US$51 and in 2017 they are US$47, as they have been since 2015.) Dues for Outreach individual members will remain unchanged at $18. According to the ASL Constitution, if by August 1, 2017, at least 5 percent of the individual members petition the Secretary-Treasurer, the increase in dues would have to be approved in the 2017 ASL Election by a majority of those voting.
Call for Proposals: 2020 North American Annual Meeting
The ASL Committee on Logic in North America requests proposals for the 2020 ASL North American Annual meeting, to be held some time in the first five months of 2020. 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 in the pattern: west (Boise 2017), midwest (Macomb 2018), east (2019 to be determined). Thus, for 2020 the committee seeks a location in the west. Any reasonable proposal, however, will be considered. For more information, interested parties should contact the Committee Chair, Reed Solomon (email: email@example.com) no later than November 6, 2017.
2016 Shoenfield Prize Winners
Upon the recommendation of the ASL Committee on Prizes and Awards, the winners of the 2016 Shoenfield Prizes for outstanding expository writing in the field of logic have been selected. The Shoenfield Prize for a book has been awarded to Rod Downey and Denis Hirschfeldt for Algorithmic randomness and complexity, Theory and Applications of Computability, Springer-Verlag New York, 2010. The prize carries a cash award of $1,500 to be shared by the winning co-authors. The Shoenfield Prize for an article has been awarded to Lou van den Dries for "Lectures on the model theory of valued fields,'' published in Model theory in algebra, analysis and arithmetic (Editors: H. Dugald Macpherson and Carlo Toffalori), Lecture Notes in Mathematics (C.I.M.E. Foundation Subseries), volume 2111, Springer-Verlag Berlin Heidelberg, 2014, pp. 55--157. This prize carries a cash award of $1,000. The Shoenfield Prizes will be awarded formally at a ceremony at the 2018 ASL North American Annual Meeting in Macomb, Illinois.
The Shoenfield prize was 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. For general information about the Prize, visit http://www.aslonline.org/info-prizes.html.
The 2017 ASL Election
At the end of this year the ASL will elect two members of the Executive Committee of the Council and two members of the Council. All terms are for three years beginning January 1, 2018. The ballot will be sent to all ASL members with the November Newsletter. The 2017 Nominating Committee has nominated Philip Ehrlich (Ohio) and Maryanthe Malliaris (Chicago) for the Executive Committee positions, and Mariya Soskova (Madison) and Yang Yue (Singapore) for the Council positions. The Nominating Committee consisted of Sam Buss, Zoé Chatzidakis, Su Gao, Antonio Montalbán, Justin Moore, Byunghan Kim, and Alasdair Urquhart (Chair).
Additional nominations may be made by petition signed by 20 or more ASL members; such petitions should be received by the ASL Secretary-Treasurer (email firstname.lastname@example.org or ASL, Box 742, Vassar College, 124 Raymond Ave., Poughkeepsie, N.Y. 12604, USA) no later than November 1, 2016. In a contested election, each candidate has the opportunity to make a 100-word statement to be distributed with the ballot.
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
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.
Call for Nominations: Karp Prize
The Karp Prize, established in 1973 in memory of Professor Carol Karp, is awarded every five years for a "connected body of research, most of which has been completed in the time since the previous prize was awarded.'' The ASL invites nominations for the 2018 Karp Prize. Nominations should be submitted to Thomas Scanlon (email@example.com), Chair-elect of the ASL Committee on Prizes and Awards. The deadline for nominations is December 31, 2017.
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: firstname.lastname@example.org. 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 LC18grant@uniud.it (see the application instructions at https://lc18.uniud.it/applications, 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: email@example.com. Decisions will be communicated at least two months prior to the meeting.