uk: Комп'ютерні науки

description: This talk will cover the basics of machine learning and then talk about interesting directions in deep learning. Deep learning has become an important aspect of machine learning since it has been applied very successfully to many applied problems. The focus of the talk will be on directions related to understanding why deep learning works so well rather than applications. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: Deep Learning Research


Joseph Sifakis

type: Person

cs: Informatika

de: Informatik

fi: tietojenkäsittelytiede

uk: Комп'ютерні науки

en: Computer Science

fr: Informatique

da: Datalogi

es: Ciencias de la Computación

nl: Informatica

cs: Technické vědy

de: Ingenieurwissenschaften

fi: tekniikka

uk: Інженерія

en: Engineering Sciences

fr: Ingénierie

da: Ingeniørvidenskab

es: Ingeniería

nl: Engineering

description: The ICT revolution is dominated by the IoT vision which promises increasingly interconnected smart objects providing autonomous services for the optimal management of resources and enhanced quality of life. These include smart grids, smart transport systems, smart health care services, automated banking services, smart factories, etc. Their coordination will be achieved using a unified network infrastructure, in particular to collect data and send them to the cloud which in return will provide using data analytics, intelligent services to ensure global trustworthiness and performance. This vision raises a lot of expectations and in my opinion some over-optimism about its short-term impact. The purpose of this talk is to discuss to what extent the IoT vision is reachable under the current state of the art, identify technical obstacles and point out work directions for overcoming them. It is well understood that the current network infrastructure is neither safe nor secure enough. Furthermore, it is hard to guarantee time predictability for critical events. All these make problematic the development and coordination of critical autonomous systems and services. Additional problems come from the need to integrate critical and best-effort systems and deal with heterogeneous technical requirements. We need to work in two complementary directions. The first is to make progress in overcoming long-standing obstacles. These include limitations stemming from the lack of effective solutions to well-defined algorithmic problems e.g. verification and synthesis, but also from hard problems of different nature, such as faithful modeling of complex cyber-physical systems and requirement capturing and formalization in an unambiguous technical language. The second is to develop design flows for mixed criticality systems and so to Bridge the gap between critical and best effort system design. Existing design flows for critical systems are not any more affordable in the IoT context for both technical and economic reasons. Guaranteeing statically at design time correctness of critical systems such as self-driving cars becomes impossible due to unmanaged uncertainty of their execution and external environment. We need effective design flows seeking an appropriate balance between properties guaranteed at design time and properties enforced at run time. This implies in particular that we break with the deterministic concept of correctness adopted by some critical application standards. The key issue is to design adaptive systems that can change dynamically their behavior to cope timely and effectively with hazards of any kind caused by design errors, failures or malevolent action. Adaptation is the capability to change system behavior in particular by reconfiguring its services and resources guided by knowledge acquired both at design time and at run time. We identify technical challenges for adaptive control achieved by combining three main functions: objective management, planning and learning. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

TIB AV-Portal

type: Service

type: WebContent

type: MediaObject

@language: en

cs: přihlášení není vyžadováno

de: keine Anmeldung erforderlich

uk: вхід без авторизації

en: no login required

nl: geen login vereist

name: 5th HLF – Lecture: How Much Hard is System Design?

Heidelberg Laureate Forum Foundation

type: Organization

cs: Video

de: Video

fi: Video

uk: Відео

en: Video

fr: Vidéo

da: Video

nl: Video

es: Video


uk: Комп'ютерні науки

description: For some problems in science there are several plausible theories and it remains to experimenters to resolve among them. There exist other problems for which, in contrast, no known theory is widely accepted as plausible. Currently computational neuroscience is a field full of opportunity that offers several fundamental problems of the latter kind. We shall discuss one of these problems: Over a lifetime, the brain performs hundreds of thousands of individual cognitive acts, of a variety of kinds, including the formation of new associations. Each such act depends on past experience, and, in turn, can have long lasting effects on future behavior. It is difficult to reconcile such large-scale capabilities, including fast reaction times on new inputs when using knowledge acquired at various earlier times, with the known resource constraints on cortex, such as low connectivity and low average synaptic strength. Here we shall describe an approach to this fundamental problem that attempts to explain these phenomena in terms of concrete algorithms for a model of computation that is faithful to the most basic quantitative resources. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: Where Computer Science Meets Neuroscience


uk: Комп'ютерні науки

description: Mathematicians have made a lot of progress in the last 350 years, but not in writing proofs. The proofs they write today are just like the ones written by Newton. This makes it all too easy to prove things that aren't true. I'll describe a better way that I've been using for more than 25 years. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: How to Write a 21st Century Proof


uk: Комп'ютерні науки

description: Reliable and efficient digital communication today is possible largely in part due to some wonderful successes in mathematical modelling and analysis. A legendary figure in this space is Claude Shannon (1916-2001) who laid out the mathematical foundations of communication in his seminal 1948 treatise, where among other contributions he gave a mathematical definition of “entropy” and coined the now ubiquitous term “bit” (for binary digit). But Shannon is not the last word in communication. Communication extends to settings well beyond the carefully designed full information exchange model explored in Shannon's work. In this talk I will try to describe some of the many extensions that have been explored in the Interim period including communication complexity (Yao 1980) that explores how it might be possible to achieve effective communication without a full exchange; interactive communication (Schulman 1992) which explores how to cope with errors in an interactive setting, and some of our own work on uncertain communication, which explores how shared context can make communication more effective, even if the context is shared only loosely. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: Mathematical Theories of Communication: Old and New


uk: Комп'ютерні науки

description: Thanks to major advances in neuroscience, we are on the brink of a scientific understanding of how the brain achieves consciousness. This talk will describe neuroscientist Bernard Baars's Global Workspace Model (GWM) of the brain and propose a formal Turing-Machine-like computational model inspired by it for understanding consciousness. One of several consequences of this Model is the possibility of free will in a completely deterministic world. Another deals with the possibility of building machines that are conscious. This talk is suitable for college students at all levels, engineers, mathematicians, and anyone who has ever wondered about consciousness. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: Can a Machine be Conscious? Towards a Computational Model of Consciousness


uk: Комп'ютерні науки

description: From the gambling machines in a Casino to the predictions of next week's weather, the world that surrounds us is governed by seemingly random events. How do mathematicians make sense of this and what does it even mean to "predict" something inherently random? We will explore these questions and see what are the main guiding principles of our modern understanding of randomness. Along the way, we will see how the works of an 18th century egyptologist and a 19th century biologist allow today's banks to model the stock market. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: The mathematics of randomness


uk: Комп'ютерні науки

description: While I love that public key cryptography is seen as revolutionary, after this talk you might wonder why it took Whit Diffie, Ralph Merkle and me so long to discover it. For example, Whit and I had been talking about trap door cryptosystems and it is a small step from that concept to public key cryptography. This talk will also highlight the contributions of some unsung (or “under-sung”) heroes: Ralph Merkle, John Gill, Stephen Pohlig, Richard Schroeppel, Loren Kohnfelder, and researchers at GCHQ (Ellis, Cocks, and Williamson). The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: The Evolution of Public Key Cryptography


uk: Комп'ютерні науки

description: On the occasion of the Computer Art Exhibition organized for this meeting, I will give a short general overview of the relationships between Art, Mathematics and Computer Science, to place into a wider context the specific works exhibited. I will tell a story in three acts, illustrated by many pictures. The first act deals with a superficial level of interaction beween art and mathematics, in which mathematical objects (solids, knots, surfaces ...) are used as subjects of the works of art. The second act deals with a deeper level of penetration, in which mathematical concepts (tessellations, perspective, hyperbolic geometry ...) are used as structures for the works of art. And the third act deals with an even deeper level of integration, in which computers and programs are used as tools by the artist, to achieve infinitary extensions of the finitary procedures used in the previous two acts. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: Art, Mathematics and Computer Science


uk: Комп'ютерні науки

description: If f is a binary valued function of binary variables, one of its variables v is called a “canalyzing variable” if the function can be described as follows: IF v=a THEN f=b ELSE f is a function of the remaining variables. If the “function of the remaining variables” itself has a canalyzing variable and so forth, the function is called a “nested canalyzing function” or “NCF”. Because of the nesting, it is often the case that the solution to a computational problem for (n+1)-parameter NCFs is easy to obtain from the solution for n-parameter NCFs and by induction easy to solve for all NCFs. Because of this computational simplicity, it is easy to study NCFs experimentally by working out examples and looking for patterns. Analysis of the associated algorithms can then provide algebra for proving any resulting conjectures. In this talk, we discuss two such discoveries. One is the appearance of Fibonacci numbers when representing an NCF by a threshold gate. The other is a characterization of the NCFs with the worst average sensitivity and the asymmetry between odd numbered variables and even numbered variables. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: Curious Facts About Nested Canalyzing Functions


uk: Комп'ютерні науки

description: The dichotomy between discrete and continuous splits algebra from analysis, quantum from classical, information from energy, Leibniz from Newton and Turing from Maxwell. But this separation is illusory: great scientists bridged the gap. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: The Discrete and the Continuous from James Clerk Maxwell to Alan Turing


uk: Комп'ютерні науки

description: I have been inspired by Turing and his work and will discuss some thoughts coming from this inspiration. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: Perspectives on Turing


uk: Комп'ютерні науки

description: As we continue our exploration of the Solar System, we can see the need for more than point-to-point radio links to support manned and robotic space exploration. In the early 1960s a Deep Space Network was constructed using 70 m antennas located in Madrid, Canberra and Goldstone, California. When the Pathfinder robot was landed on Mars in 1997, a team at the Jet Propulsion Laboratory began working on the design of a multi-node Interplanetary Internet. Its variation on store/ forward protocols led to the development of Delay and Disruption Tolerant Networking (DTN) and the Bundle Protocols. These have now been standardized by the UN's Consultative Committee on Space Data Systems (CCSDS) and prototype versions are in operation on the Spirit and Opportunity Rovers, the Mars Science Laboratory, the International Space Station and the Mars mapping orbiters to return data from Mars to Earth. This talk is about the nature of these protocols and their applications. Major challenges are network management, security and flow/ congestion control in systems with round-trip times measured in minutes to hours or longer. Naming and addressing and delayed name resolution also play a role. Socalled “custody transfer” is used to limit the potential for data loss. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lecture: An Interplanetary Internet


uk: Комп'ютерні науки

description: Many important drugs such as penicillin were discovered by serendipity. Other major drugs like the cholesterol-reducing statins were discovered using more advanced technologies, such as screening of large chemical libraries. In all these cases, the mechanism of action of the drug were largely unknown at the time of their discovery and was unraveled later. With the realization that patients with apparently similar diseases – breast or prostate cancer, for example – respond differently to similar treatments, we have begun to understand that the molecular bases of what we thought is the same disease entity, are different. Thus, breast or prostate cancers appear to be sub-divided to smaller distinct classes according to their molecular characteristics. As a result, we are exiting the era where the treatment of many diseases is “one size fits all”, and enter a new era of “personalized medicine” where the treatment is tailored according to the patient’s molecular/mutational profile. Here, the understanding of the mechanism will drive the development of new drugs. This era will be characterized initially by the development of technologies to sequence individual genomes, transcriptomes, proteomes and metabolomes, followed by identification and characterization of new disease-specific molecular markers and drug targets, and by design of novel, mechanism-based drugs to these targets. This era will be also accompanied by complex bioethical problems, where genetic information of large populations will become available, and protection of privacy will become an important issue. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Lindau Lecture: The Personalized Medicine Revolution: Are We Going to Cure all Diseases and at What Price?


5th HLF – Poster Flash

uk: Комп'ютерні науки

description: At the 5th Heidelberg Laureate Forum Postdocs had the chance to present their posters at the Poster Flash. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Over two thirds of the funds that Germany invest in research and development are covered by industry. It is no wonder as the combination of business knowledge with fundamental and industrial research is a competitive advantage in a rapidly changing economy where innovation is a necessity. In addition, it is a win-win situation. Research focused professionals can benefit from relevant research topics that translates directly into commercial outcomes. Business on the other hand gets latest knowledge from the scholar community and wins highly skilled labour. In this session, we will discuss different scenarios on how to build a bridge between research and industry innovation and how researchers can find new opportunities in the business world. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 5th HLF – Scientific Interaction “Research in Industry“: Who (the hell) is SAP?


uk: Комп'ютерні науки

description: Abdulfatai Atte Momoh, studying at Modibbo Adama University of Technology (Nigeria), discusses his experience at HLF17, what it meant to meet the laureates personally and how he plans to mentor other researchers. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації

name: 5th HLF – Interviews with young researchers: Abdulfatai Atte Momoh (Nigeria)


uk: Комп'ютерні науки

description: Fatimah Abdul Razak of Universiti Kabangsaan Malaysia (National University of Malaysia) talks about how her research is a combination of fundamental and applied and how she strikes a balance between both. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації

name: 5th HLF – Interviews with young researchers: Fatimah Abdul Razak


5th HLF – Interview with Larwan Berke

uk: Комп'ютерні науки

description: Larwan Berke of Rochester Institute of Technology explains what his experience at the HLF, hopes for his research area and the keys to effective communication. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: Olaitan Awe of the University of Ibadan (Nigeria) discusses the significance of the HLF and how he wants to implement ideas picked up from other young researchers. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації

name: 5th HLF – Interviews with young researchers: Olaitan Awe (Nigeria)


uk: Комп'ютерні науки

description: Blockchain and distributed ledgers: Will the reality live up to the hype? Will distributed ledger provide a ‘reset’ button for the internet and other networks? Many of the primary privacy risks prevalent today are due to an increasing centralization of information. A decentralized network is potentially more secure but not without its vulnerabilities. During this session, a panel of experts will illuminate how distributed ledgers work, discuss their potential and explore how the world of finance and other application areas could be reshaped. Cryptocurrencies and their escalating, volatile values have successfully captivated the public. However, the rise to fame has not brought a thorough understanding of the underlying technology along with it and distributed ledgers remain largely misunderstood. A better comprehension of the technology is increasingly vital due to its potential ramifications in finance and regarding privacy. Distributed ledgers could conceivably reshape finance through cryptocurrencies and smart contracts, cure data protection issues with social media and re-decentralize the internet. In short, a chance to hit the ‘reset’ button. Simultaneously, the very aspects that make distributed ledgers so promising are the same that make it vulnerable. Though replicability, immutability and being append-only are enormous strengths, they are equally large burdens when used maliciously. The Hot Topic was coordinated and will be moderated by Eva Wolfangel, European Science Writer of the Year 2018, a science journalist with over 15 years of experience covering a range of scientific issues and technological developments and highlighting their significance for the public. In order to unravel the technology behind distributed ledgers and its potential implications, Wolfangel has enlisted the help of experts with backgrounds ranging from academia to industry. Through discussions and an open debate, the speakers aim to distinguish the implausible from the practical and distill how the distributed ledgers will further influence our lives. Experts: Mihai Alisie is the co-founder of Ethereum blockchain applications and founder of Akasha, a social network based on the Ethereum-Blockchain and the InterPlanetary File System. Demelza Hays is researching the role of cryptocurrency in asset management in the Business Economics program at the University of Liechtenstein. Dexter Hadley’s expertise is in translating big data into precision medicine and digital health at the University of California. His background is in genomics and computational biology and he has training in clinical pathology. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Hot Topic: Blockchain and distributed ledgers: Panel Discussion "Applications"


uk: Комп'ютерні науки

description: Blockchain and distributed ledgers: Will the reality live up to the hype? Will distributed ledger provide a ‘reset’ button for the internet and other networks? Many of the primary privacy risks prevalent today are due to an increasing centralization of information. A decentralized network is potentially more secure but not without its vulnerabilities. During this session, a panel of experts will illuminate how distributed ledgers work, discuss their potential and explore how the world of finance and other application areas could be reshaped. Cryptocurrencies and their escalating, volatile values have successfully captivated the public. However, the rise to fame has not brought a thorough understanding of the underlying technology along with it and distributed ledgers remain largely misunderstood. A better comprehension of the technology is increasingly vital due to its potential ramifications in finance and regarding privacy. Distributed ledgers could conceivably reshape finance through cryptocurrencies and smart contracts, cure data protection issues with social media and re-decentralize the internet. In short, a chance to hit the ‘reset’ button. Simultaneously, the very aspects that make distributed ledgers so promising are the same that make it vulnerable. Though replicability, immutability and being append-only are enormous strengths, they are equally large burdens when used maliciously. The Hot Topic was coordinated and will be moderated by Eva Wolfangel, European Science Writer of the Year 2018, a science journalist with over 15 years of experience covering a range of scientific issues and technological developments and highlighting their significance for the public. In order to unravel the technology behind distributed ledgers and its potential implications, Wolfangel has enlisted the help of experts with backgrounds ranging from academia to industry. Through discussions and an open debate, the speakers aim to distinguish the implausible from the practical and distill how the distributed ledgers will further influence our lives. Experts: Donald Kossmann is the director of the Microsoft Research Lab in Redmond. The Redmond Lab does research in all core areas of computer science. In his research, he works on data management in the cloud. His goal is to make data in the cloud cheaper, more valuable, and more secure. Roman Matzutt and Martin Henze are working as researchers in the field of security and privacy of communication and distributed systems at RWTH Aachen University. Their recent research focuses on the technical foundations and optimizations of blockchains and distributed ledger technology as well as their implications for users. C. Mohan has been an IBM researcher for 36 years in the database and related areas. The IBM Fellow and former IBM India Chief Scientist is currently focused on Blockchain, Big Data and HTAP technologies. Silvio Micali is an ACM A.M. Turing Award laureate who has been on the MIT faculty since 1983, in the Electrical Engineering and Computer Science Department, where he is Ford Professor of Engineering. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Hot Topic: Blockchain and distributed ledgers: Panel Discussion "Technology"


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6th HLF – Hot Topic: Blockchain and distributed ledgers: Presentations "Applications"


uk: Комп'ютерні науки

description: Blockchain and distributed ledgers: Will the reality live up to the hype? Will distributed ledger provide a ‘reset’ button for the internet and other networks? Many of the primary privacy risks prevalent today are due to an increasing centralization of information. A decentralized network is potentially more secure but not without its vulnerabilities. During this session, a panel of experts will illuminate how distributed ledgers work, discuss their potential and explore how the world of finance and other application areas could be reshaped. Cryptocurrencies and their escalating, volatile values have successfully captivated the public. However, the rise to fame has not brought a thorough understanding of the underlying technology along with it and distributed ledgers remain largely misunderstood. A better comprehension of the technology is increasingly vital due to its potential ramifications in finance and regarding privacy. Distributed ledgers could conceivably reshape finance through cryptocurrencies and smart contracts, cure data protection issues with social media and re-decentralize the internet. In short, a chance to hit the ‘reset’ button. Simultaneously, the very aspects that make distributed ledgers so promising are the same that make it vulnerable. Though replicability, immutability and being append-only are enormous strengths, they are equally large burdens when used maliciously. The Hot Topic was coordinated and will be moderated by Eva Wolfangel, European Science Writer of the Year 2018, a science journalist with over 15 years of experience covering a range of scientific issues and technological developments and highlighting their significance for the public. In order to unravel the technology behind distributed ledgers and its potential implications, Wolfangel has enlisted the help of experts with backgrounds ranging from academia to industry. Through discussions and an open debate, the speakers aim to distinguish the implausible from the practical and distill how the distributed ledgers will further influence our lives. Experts: Donald Kossmann is the director of the Microsoft Research Lab in Redmond. The Redmond Lab does research in all core areas of computer science. In his research, he works on data management in the cloud. His goal is to make data in the cloud cheaper, more valuable, and more secure. Roman Matzutt and Martin Henze are working as researchers in the field of security and privacy of communication and distributed systems at RWTH Aachen University. Their recent research focuses on the technical foundations and optimizations of blockchains and distributed ledger technology as well as their implications for users. C. Mohan has been an IBM researcher for 36 years in the database and related areas. The IBM Fellow and former IBM India Chief Scientist is currently focused on Blockchain, Big Data and HTAP technologies. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Hot Topic: Blockchain and distributed ledgers: Presentations "Technology"


uk: Комп'ютерні науки

description: Laureates at the 6th HLF sit down with Tom Geller, Tom Geller Productions, to discuss their career, mentoring and their experience at the Heidelberg Laureate Forum (HLF). These renowned scientists have been honored with most prestigious awards in mathematics and computer science: Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal and Nevanlinna Prize. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації

name: 6th HLF – Interviews with mathematics and computer science laureates: Alessio Figalli


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6th HLF – Interviews with mathematics and computer science laureates: Butler W. Lampson


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6th HLF – Interviews with mathematics and computer science laureates: Constantinos Daskalakis


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6th HLF – Interviews with mathematics and computer science laureates: David A. Patterson


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6th HLF – Interviews with mathematics and computer science laureates: Gerd Faltings


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6th HLF – Interviews with mathematics and computer science laureates: Leslie G. Valiant


uk: Комп'ютерні науки

description: Laureates at the 6th HLF sit down with Tom Geller, Tom Geller Productions, to discuss their career, mentoring and their experience at the Heidelberg Laureate Forum (HLF). These renowned scientists have been honored with most prestigious awards in mathematics and computer science: Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal and Nevanlinna Prize. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University. More information to the Heidelberg Laureate Forum: Website: http://www.heidelberg-laureate-forum.org/ Facebook: https://www.facebook.com/HeidelbergLaureateForum Twitter: https://twitter.com/hlforum Flickr: https://www.flickr.com/hlforum More videos from the HLF: https://www.youtube.com/user/LaureateForum Blog: https://scilogs.spektrum.de/hlf/

uk: вхід без авторизації

name: 6th HLF – Interviews with mathematics and computer science laureates: Michael Stonebraker


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6th HLF – Interviews with mathematics and computer science laureates: Ngô Bảo Châu


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6th HLF – Interviews with mathematics and computer science laureates : Richard Manning Karp


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6th HLF – Interviews with mathematics and computer science laureates: Sanjeev Arora


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6th HLF – Interviews with mathematics and computer science laureates: Srinivasa S. R. Varadhan


uk: Комп'ютерні науки

description: Caucher Birkar: "From Algebra to Geometry" Since the ancient times people have tried to understand systems of polynomial equations for practical and/or abstract reasons. It was slowly understood that geometry can be used to understand such equations by "graphing" their solutions in some appropriate space. The geometric picture provides a window for our intuition to guide us in how to investigate the qualitative nature of the solutions while algebra provides the machinery for rigorous proofs. In this talk I will try to explain some aspects of this story in simple terms. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: From Algebra to Geometry


uk: Комп'ютерні науки

description: Constantinos Daskalakis: "Equilibria, Fixed Points, and Computational Complexity: from von Neumann to Generative Adversarial Networks" The concept of equilibrium, in its various forms, has played a central role in the development of Game Theory and Economics. The mathematical properties and computational complexity of equilibria are also intimately related to mathematical programming, online learning, and fixed point theory. More recently, equilibrium computation has been proposed as a means to learn generative models of high-dimensional distributions. In this talk, we review fundamental results on minimax equilibrium and its relationship to mathematical programming and online learning. We then turn to Nash equilibrium, reviewing some of our work on its computational intractability. We conclude with modern applications of equilibrium computation, presenting recent progress and open problems in the training of Generative Adversarial Networks. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: Equilibria, Fixed Points, and Computational Complexity: from von Neumann to Generative Adversarial Networks


uk: Комп'ютерні науки

description: David A. Patterson: "A New Golden Age for Computer Architecture" In the 1980s, Mead and Conway democratized chip design and high-level language programming surpassed assembly language programming, which made instruction set advances viable. Innovations like Reduced Instruction Set Computers (RISC), superscalar, and speculation ushered in a Golden Age of computer architecture, when performance doubled every 18 months. The ending of Dennard Scaling and Moore’s Law crippled this path; microprocessor performance improved only 3% last year!  In addition to poor performance gains of modern microprocessors, Spectre recently demonstrated timing attacks that leak information at high rates. The ending of Dennard scaling and Moore’s law and the deceleration of performance gains for standard microprocessors are not problems that must be solved but facts that if accepted offer breathtaking opportunities. We believe high-level, domain-specific languages and architectures, freeing architects from the chains of proprietary instruction sets, and the demand from the public for improved security will usher in a new Golden Age. Aided by open source ecosystems, agilely developed chips will convincingly demonstrate advances and thereby accelerate commercial adoption. The instruction set philosophy of the general-purpose processors in these chips will likely be RISC, which has stood the test of time. We envision the same rapid improvement as in the last Golden Age, but this time in cost, energy, and security as well as in performance. Like the 1980s, the next decade will be exciting for computer architects in academia and in industry! This video is also available on another stream: https://hitsmediaweb.h-its.org/Mediasite/Play/8832b244b24f4030ad62aca59c4dbeff1d?autoStart=false&popout=true The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Turing Lectures: A New Golden Age for Computer Architecture: History, Challenges and Opportunities


uk: Комп'ютерні науки

description: Gregory Margulis: "On the early history of expanders" The notion of an expander was introduced in early nineteen seventies by M.S.Pinsker in his work on the complexity of a concentrator. In recent decades the theory of expanders attracted a lot of attention and became a rather big industry. I will talk only about the development of this theory until approximately 1987-88. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: On the early history of Expanders


uk: Комп'ютерні науки

description: John E. Hopcroft: "An Introduction to AI and Deep Learning" A major advance in AI occurred in 2012 when AlexNet won the ImageNat competition with a deep network. The success was sufficiently better than previous years that deep networks were applied in many applications with great success. However, there is little understanding of why deep learning works. This talk will give an introduction to machine learning and then focus on current research directions in deep learning. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: An Introduction to AI and Deep Learning


uk: Комп'ютерні науки

description: Joseph Sifakis: "Autonomous Systems – A Rigorous Architectural Characterization" The concept of autonomy is key to the IoT vision promising increasing integration of smart services and systems minimizing human intervention. This vision challenges our capability to build complex open trustworthy autonomous systems. We lack a rigorous common semantic framework for autonomous systems. There is currently a lot of confusion regarding the main characteristics of autonomous systems. In the literature, we find a profusion of poorly understood “self”-prefixed terms related to autonomy such as Self-healing, Self-optimization, Self-protection, Self-awareness, Self-organization etc. It is remarkable that the debate about autonomous vehicles focuses almost exclusively on AI and learning techniques while it ignores many other equally important autonomous system design issues. Autonomous systems involve agents and objects coordinated in some common environment so that their collective behavior meets a set of global goals. We propose a general computational model combining a system architecture model and an agent model. The architecture model allows expression of dynamic reconfigurable multi-mode coordination between components. The agent model consists of five interacting modules implementing each one a characteristic feature: perception, reflection, goal management, planning and self-adaptation. It determines a concept of autonomic complexity accounting for the specific difficulty to build autonomous systems. We emphasize that the main characteristic of autonomous systems is their ability to handle knowledge and adaptively respond to environment changes. A main conclusion is that autonomy should be associated with functionality and not with specific techniques. We conclude that autonomy is a kind of broad intelligence. Building trustworthy and optimal autonomous systems goes far beyond the AI challenge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: Autonomous Systems – A Rigorous Architectural Characterization


uk: Комп'ютерні науки

description: Leslie Lamport: "If You're Not Writing a Program, Don't Use a Programming Language" Algorithms are not programs. They can and should be written with math rather than programming languages or pseudo-languages. This applies to many more algorithms than the ones taught in algorithm courses. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: If You're Not Writing a Program, Don't Use a Programming Language


uk: Комп'ютерні науки

description: Martin Hellman: "Ingredients for Successful Research" Looking back over more than 50 years of doing research, I can discern several key “ingredients” that helped me in my work. First, I was not afraid of doing things that others thought foolish, and this was also important in the work of many of my most successful colleagues. Second, I had what Buddhism calls “beginner’s mind” – I did my best work in cryptography when I knew only a small fraction of the relevant math that I now know. Third, I trusted my intuition, rather than rejecting it as “irrational.” This talk illustrates each of these points from my personal experience. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: Ingredients for Successful Research


uk: Комп'ютерні науки

description: Michael Stonebraker: "Big Data, Technological Disruption and the 800 Pound Gorilla in the Corner" This talk will focus on the current market for “Big Data” products, specifically those that deal with one or more of “the 3 V’s”. I will suggest that the volume problem for business intelligence applications is pretty well solved by the data warehouse vendors; however upcoming “data science” tasks are poorly supported at present. On the other hand, there is rapid technological progress, so “stay tuned”. In the velocity arena recent “new SQL” and stream processing products are doing a good job, but there are a few storm clouds on the horizon. The variety space has a collection of mature products, along with considerable innovation from startups. I will discuss opportunities in this space, especially those enabled by possible disruption from new technology. Also discussed will be the pain levels I observe in current enterprises, culminating in my presentation of “the 800 pound gorilla in the corner.” The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: Big Data, Technological Disruption and the 800 Pound Gorilla in the Corner


uk: Комп'ютерні науки

description: Silvio Micali: "ALGORAND – The Truly Distributed Ledger" A distributed ledger is a tamperproof sequence of data that can be read and augmented by everyone. Distributed ledgers stand to revolutionize the way a democratic society operates. They secure all kinds of traditional transactions –such as payments, asset transfers, titling– in the exact order in which they occur; and enable totally new transactions ---such as cryptocurrencies and smart contracts. They can remove intermediaries and usher in a new paradigm for trust. As currently implemented, however, distributed ledgers cannot achieve their enormous potential. Algorand is an alternative, democratic, and efficient distributed ledger. Unlike prior ledgers based on ‘proof of work’, it dispenses with ‘miners’. Indeed, Algorand requires only a negligible amount of computation. Moreover, its transaction history does not ‘fork’ with overwhelming probability: i.e., Algorand guarantees the finality of all transactions. Finally, Algorand enjoys flexible self-governance. A successful society must be able to evolve, and a cryptocurrency cannot be an ocean liner on autopilot. By using its hallmark propose-and-agree process, Algorand can correct its course as necessary or desirable, without any ‘hard forks’. Thanks to this core process, Algorand can routinely summon the contribution of each single ‘token’ for reaching any future decision. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: ALGORAND - The Truly Distributed Ledger


uk: Комп'ютерні науки

description: Sir C. Antony R. Hoare: "Algebra, Logic, Geometry at the Foundation of Computer Science" I show by examples how the Theory of Programming can be taught to first year CS undergraduates. The only prerequisite is their High School acquaintance with algebra, geometry and propositional calculus. The students’ motive is to learn how to construct and debugs their programs. I start with the familiar laws for disjunction in Boolean Algebra, illustrated by disjunction. A deductive rule for proof by cases is derived from the algebra. The algebra is extended by the operators of spatial and temporal logic: William of Occam’s ‘while’ (|) and ‘then’ (;). They satisfy the same familiar algebraic laws, including distribution through disjunction. A weak interchange law describes how they distribute through one another by ‘shuffling’. Proof rules are then derived for a modal logic of time and space. If this logic is applied to propositions about the behaviour of programs, the ‘while’ and ‘then’ operations can be reinterpreted as sequential and concurrent compositions of programs. The proof rules of the modal logic are then definitionally equivalent to two historic logics due to Hoare and Milner. They are now used widely for mechanical reasoning about correctness of programs and about implementations of programming languages. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: Algebra, Logic, Geometry: at the Foundation of the Computer Science


uk: Комп'ютерні науки

description: Sir Michael Francis Atiyah: "The Riemann Hypothesis" The Riemann Hypothesis is a famous unsolved problem dating from 1859. I will present a simple proof using a radically new approach. It is based on work of von Neumann (1936), Hirzebruch (1954) and Dirac (1928). The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: The Riemann Hypothesis


uk: Комп'ютерні науки

description: Wendelin Werner: "Random perturbations of Euclidean Geometry" I will survey (in a non-technical way) some recent mathematical developments dealing with the following questions originating from theoretical physics: What are the natural random fluctuations away from Euclidean geometry, and what properties do they have? This video is also available on another stream: https://hitsmediaweb.h-its.org/Mediasite/Play/e055b61979b541cc8b3debc6466db1a51d?autoStart=false&popout=true The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: Random perturbations of Euclidean Geometry


uk: Комп'ютерні науки

description: William D. Phillips: "Time, Einstein and the coolest stuff in the universe" At the beginning of the 20th century Einstein changed the way we think about Time. Now, early in the 21st century, the measurement of Time is being revolutionized by the ability to cool a gas of atoms to temperatures millions of times lower than any naturally occurring temperature in the universe. Atomic clocks, the best timekeepers ever made, are one of the scientific and technological wonders of modern life. Such super-accurate clocks are essential to industry, commerce, and science; they are the heart of the Global Positioning System (GPS), which guides cars, airplanes, and hikers to their destinations. Today, the best primary atomic clocks use ultra-cold atoms, achieve accuracies of about one second in 300 million years, and are getting better all the time, while a new generation of atomic clocks is leading us to re-define what we mean by time. Super-cold atoms, with temperatures that can be below a billionth of a degree above absolute zero, use, and allow tests of, some of Einstein's strangest predictions. This will be a lively, multimedia presentation, including exciting experimental demonstrations and down-to-earth explanations about some of today's hottest (and coolest) science.

uk: вхід без авторизації

name: 6th HLF – Laureate Lectures: Time, Einstein and the Coolest Stuff in the Universe


uk: Комп'ютерні науки

description: Gender Roles & Career Routes for Mathematicians and Computer Scientists Prof. Dr. Ragni Piene – University of Oslo, Departments of Mathematics Prof. Dr. Anna Wienhard – University of Heidelberg, Department of Mathematics Christine Regitz – Vice President of the Gesellschaft für Informatik e.V. (GI) Moderated by: Prof. Dr. Peter Mirski – Management Center Innsbruck (MCI) In this session, participants gained insight into the gender roles of mathematicians and computer scientists, and what career prospects they have in both the academic and business environment. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.

uk: вхід без авторизації

name: 6th HLF – Scientific Interaction: Gender Roles & Career Routes for Mathematicians and Computer Scientists


uk: Комп'ютерні науки

description: Young researchers at the 6th HLF sit down with Tom Geller, Tom Geller Productions, to discuss their career, mentoring and their experience at the Heidelberg Laureate Forum (HLF). The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації

name: 6th HLF – Interviews with young researchers: Deborah Kanubala


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6th HLF – Interviews with young researchers: Jonas Bayer


uk: Комп'ютерні науки

uk: вхід без авторизації

name: 6th HLF – Interviews with young researchers: Vasilios Mavroudis


uk: Комп'ютерні науки

description: Young researcher John Urschel, USA, interviews laureate Sanjeev Arora, ACM Prize in Computing, 2011. At the 6th HLF they sit down with Tom Geller, Tom Geller Productions, to discuss their career, mentoring and their experience at the Heidelberg Laureate Forum (HLF). The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації

name: 6th HLF - Interviews with laureates and young researchers in mathematics and computer science: John Urschel interviewing Sanjeev Arora


uk: Комп'ютерні науки

description: A recording of a presentation from Barbara Magagna for the September 2018 AVSIG meeting.

uk: вхід без авторизації

name: Harmonizing the conceptualization of observation parameters

Australian Research Data Commons (ARDC)

addressCountry: AU

addressLocality: Melbourne

addressRegion: Victoria


name: Klaus Tschira Stiftung gemeinnützige GmbH

uk: Комп'ютерні науки

description: Mathematics and computer science have evolved into a matter of the utmost importance in our modern and affluent society. We come face to face with the output of mathematical - whether pure or applied mathematics - and computational research in all situations and items of our daily lives: driving a GPS guided car, taking a computer controlled plane or rapid train or cashless payment in the supermarket - computer science and its underlying mathematical theories shape all types of actions. The Heidelberg Laureate Forum (HLF) is a very new event that aims to unite the highly talented mathematicians and computer scientists of the day. The HLF strongly supports the interaction, exchange and communication amongst researchers throughout all stages of their careers. To this end, the HLF brings together brilliant mathematicians and computer scientists to gather in a European hotspot of science: the famous and historic city of Heidelberg. Every year during the last week of September, Abel, Fields, Turing and Nevanlinna Laureates will meet up to 200 selected young researchers for a conference week full of inspiration and opportunities.

uk: вхід без авторизації

name: The Heidelberg Laureate Forum - Image Film


The HLF Portraits: Alan Kay

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Alan Kay; ACM A.M. Turing Award, 2003 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Alexei Efros

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Alexei Efros; ACM Prize in Computing, 2016 Recipients of the ACM A.M. Turing Award, the ACM Prize in Computing, the Fields Medal and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Barbara Liskov

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Barbara Liskov; ACM A.M. Turing Award, 2008 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Bob Tarjan

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Bob Tarjan; Nevanlinna Prize, 1982 & ACM A.M. Turing Award, 1986 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Butler W. Lampson

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Butler W. Lampson; ACM A.M. Turing Award, 1992 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Charles William Bachman; ACM A.M. Turing Award, 1973 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації

name: The HLF Portraits: Charles William Bachman


Wie kommt Bewegung in die Fassade?

de: Architektur, Innenarchitektur

uk: Архітектура, дизайн інтер'єру

en: Architecture, Interior Architecture

@language: de

uk: вхід без авторизації

name: Moderation Skorupka, Sascha (Leitung, Regie, Redaktion)

Leibniz Universität Hannover (LUH)

addressCountry: DE

addressLocality: Hanover

addressRegion: Lower Saxony


The HLF Portraits: Dana S. Scott

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Dana S. Scott; ACM A.M. Turing Award, 1976 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: David M. Blei

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: David M. Blei; ACM Prize in Computing, 2013 Recipients of the ACM A.M. Turing Award. the ACM Prize in Computing, the Fields Medal and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Donald Ervin Knuth

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Donald Ervin Knuth; ACM A.M. Turing Award, 1974 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Edward A. Feigenbaum

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Edward A. Feigenbaum, ACM A.M. Turing Award, 1994 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Fernando J. Corbato

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Fernando J. Corbato; ACM A.M. Turing Award, 1990 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Fred Brooks

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Fred Brooks; ACM A.M. Turing Award, 1999 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Grigori Margulis

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Grigori Margulis; Fields Medal, 1978 Recipients of the Fields Medal in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: John Milnor

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: John Milnor; Fields Medal, 1962; Abel Prize, 2011 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: John Torrence Tate

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: John Torrence Tate, Abel Prize, 2010 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Joseph Sifakis

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Joseph Sifakis; ACM A.M. Turing Award, 2007 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Judea Pearl

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Judea Pearl; ACM A.M. Turing Award, 2011 Recipients of the ACM A.M. Turing Award. the ACM Prize in Computing, the Fields Medal and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Leonard Adleman

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Leonard Adleman; ACM A.M. Turing Award, 2002 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Leslie G. Valiant

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Leslie G. Valiant; Nevanlinna Prize, 1986 & ACM A.M. Turing Award, 2010 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Louis Nirenberg

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Louis Nirenberg; Abel Prize, 2015 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Martin Hellman

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Martin Hellman; ACM A.M. Turing Award, 2015 Recipients of the ACM A.M. Turing Award and the Abel Prize in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації


The HLF Portraits: Maxim Kontsevich

uk: Комп'ютерні науки

description: The Heidelberg Laureate Forum Foundation presents the HLF Portraits: Maxim Kontsevich, Fields Medal, 1998 Recipients of the ACM A.M. Turing Award, the Abel Prize and Fields Medal in discussion with Marc Pachter, Director Emeritus National Portrait Gallery, Smithsonian Institute, about their lives, their research, their careers and the circumstances that led to the awards. Video interviews produced for the Heidelberg Laureate Forum Foundation by the Berlin photographer Peter Badge. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.

uk: вхід без авторизації