The Herbrand Award for Distinguished Contributions to Automated Reasoning is an award given by the Conference on Automated Deduction (CADE), Inc., (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated deduction. The award is named after the French scientist Jacques Herbrand and given at most once per CADE or International Joint Conference on Automated Reasoning (IJCAR). It comes with a prize of US$1,000. Anyone can be nominated, the award is awarded after a vote among CADE trustees and former recipients, usually with input from the CADE/IJCAR programme committee. (Wikipedia).
Prime Minister and Minister of Research congratulates Avi Wigderson and László Lovász
Norwegian Prime Minister, Erna Solberg and Minister of Education and Research, Henrik Asheim, offer their congratulations to the Abel Prize laureates of 2021, Avi Wigderson and László Lovász.
From playlist László Lovász
Graham Leigh: On the computational content of classical sequent calculus
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Computational interpretations of classical logic are entwined with constructive proofs of Herbrand's Theorem which states, its simplest form, that for every valid existen
From playlist Workshop: "Proofs and Computation"
Michael Temkin - Wild coverings of Berkovich curves
I will describe the structure of finite morphisms between smooth Berkovich curves. The tame case is well known so the accent will be on the wild case. In particular, I will describe the loci of points of multiplicity n and their relation to Herbrand function and the ramification theory. If
From playlist A conference in honor of Arthur Ogus on the occasion of his 70th birthday
Artur Avila "Poincaré series and renormalization"
Originaire du Brésil, Artur Avila obtient son doctorat en 2001 à l'IMPA. En 2008 il reçoit le prix de l'EMS puis le Grand Prix Jacques Herbrand de l'Académie des sciences en 2009. Il a été conférencier plénier au Congrès international des mathématiciens en 2010. Il est Directeur de Recherc
From playlist Colloque Scientifique International Poincaré 100
Nalini Anantharaman "From the three-body problem to quantum mechanics"
Résumé Poincaré annonçait, dans l'introduction des Méthodes nouvelles de la mécanique céleste, fournit « un terrain solide sur lequel on pourra s'appuyer avec confiance ». C'est avec cette confiance que les physiciens du début du 20ème siècle se sont attaqués à l'étude de l'atome d'hélium,
From playlist Colloque Scientifique International Poincaré 100
From playlist Simulink Design Award: 2013 BEST Robotics
Carl Friedrich Gauss Prize 2018 David L. Donoho
The Gauss Prize is to honor scientists whose mathematical research has had an impact outside mathematics – either in technology, in business, or simply in people's everyday lives. The prize is awarded jointly by the Deutsche Mathematiker-Vereinigung (German Mathematical Union) and the Inte
From playlist IMU Awards
Albert O. Hirschman Prize Ceremony and Program
Albert O. Hirschman Prize Ceremony and Program Please join the Social Science Research Council and the Institute for Advanced Study for the Albert O. Hirschman Prize Ceremony and Program honoring Amartya Sen. featuring Peter Lange, Duke University; Didier Fassin, Institute for Advanced Stu
From playlist Social Science
Potential Automorphy - Richard Taylor
Richard Taylor Institute for Advanced Study October 4, 2010 I will introduce l-adic representations and what it means for them to be automorphic, talk about potential automorphy as an alternative to automorphy, explain what can currently be proved (but not how) and discuss what seem to me
From playlist Mathematics
Hugo Duminil Copin - Compter les chemins auto-évitants sur le réseau en nid d'abeille
IHES, Prix Jacques Herbrand 2017 Réalisation technique : Antoine Orlandi (GRICAD) | Tous droits réservés
From playlist Des mathématiciens primés par l'Académie des Sciences 2017
Click Chemistry (Nobel Prize 2022) - Periodic Table of Videos
The 2022 Nobel Prize in Chemistry is awarded to three scientists for pioneering "Click Chemistry". More links and info in full description ↓↓↓ Featuring Martyn Poliakoff, Miriam O'Duill and Christopher Merrett. Details of Christopher's experiment here: http://periodicvideos.com/extra/cli
From playlist Nobel Prize - Periodic Videos
The 2015 Nobel Prize in Chemistry - Periodic Table of Videos
The 2015 Nobel Prize in Chemistry is awarded "for mechanistic studies of DNA repair". The recipients are Paul L. Modrich, Tomas Lindahl and Aziz Sancar. Discussed by Professor Sir Martyn Poliakoff. More chemistry Nobel Prize videos: http://bit.ly/periodicnobel And physics prizes: http:/
From playlist Nobel Prize - Periodic Videos
Breakthrough Prize in Mathematics 2014
Breakthrough Prize in Mathematics 2014 recipients talking about mathematics
From playlist Actualités
2018 Kavli Prize Winners - NANOSCIENCE: Doudna, Charpentier and Siksnys
The winners of the 2018 Kavli Prize In Nanoscience Are Jennifer Doudna, Emmanuelle Charpentier and Virginijus Siksnys for pioneering work on Crispr-cas9. 2018 marks the tenth anniversary of the prestigious Kavli Prize, which recognizes scientists for major advances in three research areas
From playlist Scientist Profiles
Stanford economist Guido Imbens wins Nobel in economic sciences
Stanford economist Guido W. Imbens was awarded the Nobel Sveriges Riksbank Prize in Economic Sciences for his work in econometrics and statistics. Read the story: https://news.stanford.edu/2021/10/11/guido-imbens-wins-nobel-economic-sciences/ Stanford University Channel on YouTube: http:/
From playlist Stanford Highlights
Inaugural Awards for OpenCourseWare Excellence
OCWC Global 2011: Inaugural Awards for OpenCourseWare Excellence. Presentation of the inaugural Award for OpenCourseWare Excellence. This work is licensed under a Creative Commons Attribution License (http://creativecommons.org/licenses/by/3.0/). Cite as: MIT OEIT. (2011). MIT's Institutio
From playlist 2011 OCW Educator Excellence Award for Walter Lewin
The Computer Chronicles - SPA Codie Awards 1997 (1997)
Special thanks to archive.org for hosting these episodes. Downloads of all these episodes and more can be found at: http://archive.org/details/computerchronicles
From playlist The Computer Chronicles 1997 Episodes
2019 Trusted CI Fellows Virtual institute Speaker Kevin Thompson
Kevin Thompson serves as a Program Director in NSF's Advanced Network Infrastructure and Research (ANIR) division of CISE. He is responsible for the NSF Middleware Initiative program and the Experimental Infrastructure Networks program. He started at NSF in January, 2003. Prior to NSF, Mr.
From playlist Center for Applied Cybersecurity Research (CACR)
The 2018 Nobel Prize in Chemistry - Periodic Table of Videos
The prize is awarded to Frances Arnold, George Smith, and Gregory Winter. More Nobel videos: http://bit.ly/periodicnobel More links and info in full description ↓↓↓ This video features Martyn Poliakoff, Francesca Paradisi , and Nicholas Mitchell - all from the University of Nottingham. T
From playlist Nobel Prize - Periodic Videos
Subtitles: Basque, Bulgarian, Catalan, Chinese, Czech, Dutch, English, Estonian, Esperanto, Finnish, French, German, Greek, Hebrew, Hungarian, Indonesian, Japanese, Korean, Lithuanian, Polish, Portuguese, Russian, Slovak, Spanish, Turkish, Thai “The Present” is a thesis short from the In
From playlist Belong: What It's Like to Live in the Hyphen