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: 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.
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.
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, Byunghan Kim, Antonio Montalbán, Justin Moore, and Alasdair Urquhart (Chair).
ASL Secretary-Treasurer and Office Transition
Charles Steinhorn will step down as ASL Secretary-Treasurer on May 31, 2018. The ASL administrator, Fran Whitney, is retiring at the end of April 2018. The ASL Council has 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 will move from Vassar to the University of Connecticut in early May, and a new administrator will be hired to staff the office. The new ASL office email address will be firstname.lastname@example.org, and the new postal address will be: ASL, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA. More information on this transition will be available soon.
Student Travel Awards: The 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 European Summer Meeting in Udine, Italy; 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 2018 ASL European Summer Meeting, applications for student travel grants and recommendations should be received by 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). 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.
2018 ASL North American Annual Meeting Program
For the 2018 ASL North American Annual Meeting Program, click on the appropriate link .
ASL April 2018 Newsletter
For the current ASL Newsletter, click on the link below.
2018 Karp Prize to be Awarded at the 2018 North American Annual Meeting
The ninth Carol Karp Prize is to be 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 will be 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 will be delivered 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 http://www.aslonline.org/info-prizes.html.
Anyone who wishes to make a nomination for the 2018 Sacks Prize should consult the webpage http://www.aslonline.org/Sacks_nominations.html 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 firstname.lastname@example.org 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.