- Apply for ASL Sponsorship of Logic Meeting
- 2019 Shoenfield Prizes
- 2019 Sacks Prize
- Mailing of Journals
- In memoriam: Roy Dyckhoff
- In memoriam: Harold Simmons
- The 2018 ASL Election
- 2019 Rutherford Lecture
- 2018 Leelavati Prize Video
Apply for ASL Sponsorship of Logic Meeting
To apply for ASL sponsorship of an upcoming logic meeting, contact Russell Miller, co-Secretary-Treasurer of the ASL by visiting this page: http://qcpages.qc.cuny.edu/~rmiller/ASLsponsorship.html Applications should be received at least six months in advance of the beginning of the meeting. If you have any questions or concerns, contact Russell or the ASL Business Office at firstname.lastname@example.org.
2019 Shoenfield Prizes
The ASL invites nominations for the Shoenfield Prizes for outstanding expository writing in the field of logic. There are two Shoenfield prizes, one for books and one for expository articles, each to be awarded simultaneously every three years; the Shoenfield Prizes were first awarded in 2007. Any book first published in the past 9 years may be considered for the book award. Any article published in the past 6 years may be considered for the article award. Nominations should be submitted to Justin Moore (email@example.com), Chair of the ASL Committee on Prizes and Awards. The deadline for nominations for the 2019 Prizes is November 1, 2019. The Shoenfield prizes were 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. The ASL administers the fund on which the Prize is based and makes the award upon the recommendation of its Committee on Prizes and Awards. For general information about the Prize, see http://aslonline.org/asl-information/prizes-and-awards/.
2019 Sacks Prize
The ASL invites nominations for the 2019 Sacks Prize for the most
outstanding doctoral dissertation in mathematical logic. Nominations
must be received by September 30, 2019.
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://aslonline.org/asl-information/prizes-and-awards/.
Anyone who wishes to make a nomination for the 2019
Sacks Prize should consult the webpage http://aslonline.org/asl-information/prizes-and-awards/sacks-prize-recipients/sacks-prize-nominations-and-other-information/ for the precise details. A brief summary of the procedure is provided here.
Students who defend their dissertations (equivalent to the American doctoral dissertation) between October 1, 2018, and September 30, 2019, 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, Justin Moore; 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 Justin Moore, Dept. of Mathematics, 310 Malott Hall, Cornell University, Ithaca, NY 14853, USA.
Those wishing to contribute to the Sacks Prize Fund may send contributions to the ASL Business Office (see address at the top of this Newsletter). All such contributions are tax-deductible within the USA.
Mailing of Journals
To improve punctuality, Cambridge University Press has switched to a system of mailing the Journal of Symbolic Logic and the Bulletin of Symbolic Logic separately. In many quarters this will allow one to be dispatched several weeks earlier, while the other is still in production. The Review of Symbolic Logic will continue to be mailed separately from both of the others. The new system will not incur any additional cost to the ASL or its members.
In memoriam: Roy Dyckhoff
Dr. Roy Dyckhoff, MA MSc DPhil, passed away on August 23, 2018 at the age of 70. He studied mathematics at King's College, Cambridge and New College, Oxford. Awarded a Prize Fellowship at Magdalen College, Oxford, in 1975 he joined the University of St Andrews, where he remained until he retired in 2011.
Roy was highly respected for his work in proof theory and computational logic, with a particular focus on constructive mathematics. He significantly advanced the proof theory of modal and non-classical logics, and of geometric logic, and also made invaluable contributions to such diverse fields as topology, category theory, logic programming, structural proof theory, type theory, and the semantics of proofs, programs, and natural language. In the last couple of years Roy developed a new research interest in ancient logic: three of his papers were accepted for publication in 2018, including one on Stoic logic and one on Aristotelian logic.
Roy saw research as a collective enterprise, conducted by a far-reaching network of friends. He always took a genuine interest in the work of others. Many researchers across computer science, mathematics, and philosophy benefited from his wide knowledge, erudite insights and open-minded approach, and from his kindly pastoral care for young researchers. Roy was exemplary in giving credit to others rather than claiming it for himself, and in setting high standards, while at the same time being gracious to those who did not meet them. His humility and his approach to academic life were an inspiration to all, and he will be very much missed.
In memoriam: Harold Simmons
We report the sad news that Harold Simmons passed away on October 10, 2018. Harold undertook his PhD on decision problems in algebra at the University of Bristol (1966). He then moved to the Department of Mathematics at the University of Aberdeen. In 1990, Harold joined the University of Manchester, and retired in 1996. After retirement, Harold continued productive work in the School of Computer Science in Manchester, publishing papers and books, and supporting the Mathematical Foundations group.
Harold was widely respected by the mathematical community for his contributions in logic, algebra, topology and category theory where his interests varied from the formal and syntactic, through computational and algorithmic aspects, to semantic and structural results. He contributed to a wide range of mathematical areas including categorical aspects of topology, computational aspects of logic and proof, type theory and model theory, recursion theory and ordinals, algebra including ring theory, sheaf theory, frame theory and duality, as well as work in other areas such as logical aspects of number theory. Altogether, this led to a long and varied publication list of high-quality, often seminal, papers and books.
Harold was capable of extended works of formalisation and creativity in mathematics, with a great insight and a dedication to the subject and to the mathematical community. He had a sense of quality in mathematical development and presentation, with a repeated mantra of "doing it properly''. He enjoyed teaching advanced and research topics, and dedicated considerable time to helping younger members of the community develop their mathematical skills. Harold served as Vice President of the British Logic Colloquium, and also as co-ordinator of the UK's Logic for Information Technology initiative, encouraging and enabling education and research, at graduate and senior level, in areas of logic pertaining to computer science. The funding was generous enough for him to lay on and organise regular instructional weekend workshops around the country. These were highly successful in helping to generate a UK-wide community of younger computer scientists, many of whom now occupy senior positions and all of whom remember fondly those workshops and the opportunities they created.
Harold was a dedicated supporter of Manchester City Football Club and indeed, acknowledged the influence of the club on his life in some of his publications. Academically serious, but with a great sense of humour, Harold was very much a character, and brought energy and life to any room he was in. He will be sadly missed.
The 2018 ASL Election
In the 2018 election, Julia Knight was elected as the next President of the ASL, and Phokion Kolaitis as the next Vice President. Denis Hirschfeldt and Andrés Villaveces were elected to the Executive Committee, and Agata Ciabattoni and Andreas Weiermann were elected to the Council.
Each of their terms is for three years and began January 1, 2019.
2019 Rutherford Lecture
A video of Rod Downey's 2019 Rutherford Memorial Lecture is available at https://royalsociety.org.nz/news/video-logic-maths-and-modern-society. This lecture follows his 2018 Rutherford Medal, awarded by the Royal Society of New Zealand.
2018 Leelavati Prize Video
Ali Nesin was awarded the 2018 Leelavati Prize for his work creating the Math Village in Turkey. There is now a video about his work available from the International Mathematical Union at https://www.mathunion.org/imu-awards/leelavati-prize/leelavati-prize-2018.