This year’s Hot Topic session revolved on "Digital Health," a theme that is both timely and has decisive ramifications, not only for science but also for society as a whole. A panel of experts from various specializations discussed its significance, plus the inherent advantages and vulnerabilities.
Mathematics and computer science have evolved into a matter of utmost importance in our modern society. We are confronted with the product of mathematical and computational research in all situations and aspects of our daily lives. To ensure that this technical revolution continues to thrive, science in all of its facets has to be persistently promoted and encouraged. The Heidelberg Laureate Forum rises to this challenge by bringing together the most exceptional mathematicians and computer scientists of their generations. Each year, in the last complete week of September, the recipients of the most prestigious awards in mathematics and computer science, the Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal and Nevanlinna Prize, meet 200 selected young researchers from all over the world. Participants spend a week interacting and networking in a relaxed atmosphere designed to encourage scientific exchange.
We bid farewell to Edmund M. Clarke who passed away on December 22, 2020, at the age of 75.
Along with E. Allen Emerson and Joseph Sifakis, Clarke received the 2007 ACM A.M. Turing Award for their role in developing Model Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.
We had the honor of welcoming him at the HLF in 2013 and 2015.
Challenges offer opportunities to adapt and 2020 has provided several significant tests. The Virtual HLF is a direct response to some of this year’s trials. Branded with the motto "Virtual HLF – Traversing Separation," the Forum took place from September 21 until September 25, 2020. A multifaceted scientific program was supplemented by various interactive elements designed to facilitate exchange between the participants.
Prof. Dr.-Ing. Dr. h. c. Andreas Reuter retires from his post as Scientific Chairperson of the HLFF, which he held since the Foundation was established in 2013. Prof. Dr. Anna Wienhard, a renowned professor of mathematics at Heidelberg University and a research group leader at the HITS will be his successor starting this October 1, 2020.
We bid farewell to Vaughan Jones who received the Fields Medal in 1990 for discovering an astonishing relationship between von Neumann algebras and geometric topology and finding a new polynomial invariant for knots and links in 3-space.