A Happy Mathematical Birthday During yesterday’s boat ride on the Neckar River, I had the chance to interview one of the youngest participants in this year’s Heidelberg Laureate Forum: Lisa Sauermann, an undergraduate at the University of Bonn, who … 27. Sep 2013 | By Dana Mackenzie | 0 comments
Turing Award genealogy The Heidelberg Laureate Forum invited laureates in mathematics and computer science to participate. There have been numerous comparisons between the mathematicians and the computer scientists. For example, a much larger proportion of Turing Award winners … 27. Sep 2013 | By John D. Cook | 1 comment
Sind Informatik-Beweise auch mathematische Beweise? Am Dienstag hielt Silvio Micali, einer der Erfinder der bereits skizzierten Zero-Knowledge-Beweissysteme, einen für mich sehr gut zu verstehenden, enthusiastischen Vortrag. Allerdings habe ich bei einigen Gesprächen danach festgestellt, dass derselbe Vortrag für die mathematischen … 27. Sep 2013 | By Benjamin Hiller | 3 comments
Nobel and Fields advice: the crucial intersection I’ve sat through two advice talks from laureates this year – one right now by Sir Michael Atiyah at the HLF, titled “Advice to a Young Mathematician”, the other this spring, organized by the Heidelberg … 27. Sep 2013 | By Markus Pössel | 0 comments
Die Geburt des Internet, Datenschutz und ein Geek-Witz: Interview mit Vint Cerf Das hier ist, glaube ich, der erste “selfie”, den ich jemals online gepostet habe. Zu meiner Entschuldigung kann ich vorbringen, dass ich mir die Verantwortung dafür, dass dieses Bild jetzt im Internet steht, mit dem … 27. Sep 2013 | By Markus Pössel | 3 comments
Prime windows Barry Cipra is one of the journalists covering the Heidelberg Laureate Forum. I’ve read his columns, especially in SIAM News, for years. It was great to meet him in person. He and I were talking … 26. Sep 2013 | By John D. Cook | 1 comment
An short interview with Dana Scott Dana Scott was awarded the ACM Turing award in 1976 for laying the foundations of the modern approach to the semantics of programming languages. What is your opinion on the future of software verification? DS: … 26. Sep 2013 | By Johan Georg Granström | 0 comments
Assuring the integrity of voting using cryptography American voters have no way of knowing that our votes have been counted, or counted correctly. We go to the polls and we punch buttons on a screen or fill out paper ballots and put … 26. Sep 2013 | By Julie Rehmeyer | 0 comments
Cédric Villani über Zeugen der Wissenschaft Cédric Villani ist nicht nur einer der herausragenden Mathematiker des noch jungen Jahrhunderts (Fields Medaille 2010), er ist auch bekannt für eine ganz besondere Aura. Sein Markenzeichen sind seine Anzüge an deren Revers stets eine … 26. Sep 2013 | By Beatrice Lugger | 0 comments
Hinter den Kulissen des Forums (3) Mit der Bootsfahrt am Mittwoch Nachmittag kommt auch mein dritter Einblick hinter die Kulissen des Forums. Beim und nach dem Abendessen auf dem Boot, habe ich wieder zwei kleine schöne Dinge aufgeschnappt, die ein Teil … 26. Sep 2013 | By Marlene Knoche | 0 comments
