Fun with False Proofs This year’s HLF included a fascinating discussion between ACM AM Turing Award laureates Leslie Lamport and Whitfield Diffie, written up in full here by blog team member Andrei Mihai. As part of the conversation, when … 06. Oct 2021 | By Katie Steckles | 7 comments
So, what is the use of epidemiological models? What, then, is the use of epidemiological models? That was a central thread running through Tuesday’s hot topic panel on “Mathematics of Disease – the Science of Epidemic Modelling.” And the panel was an interesting … 29. Sep 2021 | By Markus Pössel | 2 comments
Sketchnotes of the Laureate Dialogue: Leslie Lamport and Whit Diffie talk about writing algorithms and proofs. 23. Sep 2021 | By Constanza Rojas-Molina | 1 comment
Sketchnotes of the Laureate Discussion on the Ethical, Societal and Environmental implications of Information Technology 23. Sep 2021 | By Constanza Rojas-Molina | 0 comments
Mathematical Metaphors As part of the 8th HLF, we were treated to a panel discussion titled “Scientists Get Creative to Engage the Public with Science”, hosted by science writer and mathematician Susan D’Agostino, and featuring ACM A.M. … 23. Sep 2021 | By Katie Steckles | 2 comments
A Heidelberg dialogue: Two laureates sit down to discuss proofs The two also shared a good research direction to follow. Read more 22. Sep 2021 | By Andrei Mihai | 1 comment
“Whether you’re a young or an old researcher – keep learning and enjoy it!” Those were the memorable words with which Alfred Vaino Aho ended his #HLF21 dialogue with Jeffrey David Ullman. The two 2020 ACM A.M. Turing Award laureates sat down for an informal talk, which was initiated … 22. Sep 2021 | By Andrei Mihai | 1 comment
Qubits and Quibbles On the opening day of the 8th Heidelberg Laureate Forum, Scott Aaronson, winner of the 2020 ACM Prize in Computing, discussed the recent advancements in quantum computing and the impact that “quantum supremacy” could have … 22. Sep 2021 | By Khari Douglas | 1 comment
Hot Topic: The mathematics of Disease – Epidemic Modeling 22. Sep 2021 | By Constanza Rojas-Molina | 2 comments
Sketchnotes of the Laureate Lectures: Avi Wigderson on the Value of Errors in Proofs 21. Sep 2021 | By Constanza Rojas-Molina | 0 comments
