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 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: email@example.com.
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 firstname.lastname@example.org. 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: email@example.com). 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.
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.
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 (firstname.lastname@example.org), 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: email@example.com. 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: firstname.lastname@example.org. 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.
The 2017 ASL Election
Enclosed with the November 2017 Newsletter is the ballot for the 2017 election for two members of the Executive Committee of the Council and two members of the Council. For those receiving the Newsletter via email, the ballot is included as a pdf attachment. All terms 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).
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, Radha Jagadeesan, Martin Hyland, 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.
ASL November 2017 Newsletter
For the current ASL Newsletter, click on the link below.
2017-18 ASL Winter Meeting (with APA) Program
For the 201718 ASL Winter Meeting (with APA) Program, click on the appropriate link .
2017-18 ASL Winter Meeting (with JMM) Program
For the 2017-18ASL Winter Meeting (with JMM) Program, click on the appropriate link .