Logic in computer science

Herbrand Award

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).

Video thumbnail

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

Video thumbnail

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"

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Breakthrough Prize in Mathematics 2014

Breakthrough Prize in Mathematics 2014 recipients talking about mathematics

From playlist Actualités

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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)

Video thumbnail

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

Video thumbnail

The Present - OFFICIAL

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

Related pages

International Joint Conference on Automated Reasoning | Automated theorem proving | Wu Wenjun | Harald Ganzinger | Conference on Automated Deduction | Jacques Herbrand